챗지피티 다음 모델은 '밀레니엄 문제 푼 모델'.jpg

"밀레니엄 문제를 풀었다는건 믿기 어려운 일이다.

수학 논문 위원들이 적대적으로 나올 가능성이 높다."

라는 말을 한 모델임

마지막 문장 호들갑 같은데. 수학 문제에 적대감 가져봤자지, 진찌 증명이 맞으면 검증으로 다 풀릴텐데. 수학계에 패러다임 쉬프트를 일으킬 정도로 엄청난 발견을 한게 아니라면아.

Lean 결과물이 실제 증명이랑 일치하지 않을 수 있다는 얘기 나오던데 어째되려나

클로드 딱가리

댓글