AI solves and humans verify···OpenAI “solves three decades-old problems”, Nobel laureate to review the solutions

AI 요약

현지시간 26일 OpenAI는 자사 AI 모델이 수학·컴퓨터과학·물리학에서 수십 년간 미해결로 남아 있던 세 가지 문제에 대한 증명을 제시했다고 밝혔으나 독립적인 학술 검증은 아직 완료되지 않았습니다. 수학에서는 1991년에 제기된 local smoothing conjecture를 모든 차원에서 해결했다고 주장했고, 컴퓨터과학에서는 1999년 제안된 Exponential Time Hypothesis를 뒤집어 계산 시간 증가를 줄일 수 있다고 제시했으며, 물리학에서는 쿼크와 글루온 등의 상호작용을 기술하는 quantum chromodynamics 등을 수학적으로 일관되게 증명했다고 밝혀 Yang-Mills 이론의 일부 문제와 관련되어 $1 million 상금과 연결됩니다. OpenAI는 수학·컴퓨터과학 증명 자료를 공개하고 Lean으로 형식화했으나 물리학 상세 자료는 공개하지 않았고, 검증에는 David Gross(2004년 노벨물리학상 수상자)와 Exponential Time Hypothesis를 처음 제안한 연구자 등이 참여할 예정이며 이전에 AI가 작성한 722편의 수학 논문을 동시에 공개해 오류와 검증 부담에 대한 비판을 받았습니다.