OpenAI(오픈AI), AI가 작성한 수학 논문 722편 공개…외부 검증은 아직

요약

OpenAI가 AI로 작성한 722편의 수학 논문을 공개했으나, 아직 외부 수학자들에 의해 검증되지는 않았습니다. 가장 주목받는 4가지 성과 중 첫째는 준-리만 가설(Quasi-Riemann hypothesis)로, 제타 함수의 0점이 7/8 이상의 실수부를 가지지 않는다는 것을 Lean 증명으로 제시했습니다. 둘째는 고유 게임 추측(Unique Games Conjecture)으로, P=NP가 아닌 이상 Max-Cut 등 문제에 대한 기존 알고리즘이 최선임을 Lean 증명으로 보였습니다. 셋째는 CM 아벨 다양체에 대한 호지 추측(Hodge conjecture)으로, 밀레니엄 문제의 특수 사례를 다루지만 아직 Lean 증명은 없습니다. 넷째는 1940년대 이후 미해결 과제였던 자유군 인자(Free group factors) 문제로, 2개 및 3개의 생성자로 만들어진 연산자 대수가 모두 동일하다는 결과를 Lean 증명으로 주장했습니다.

AI가 원문을 요약한 내용으로, 부정확할 수 있습니다.