“1만개 AI가 88시간 만에”…오픈AI, 100만달러 수학 난제 풀었다고 발표

AI 요약

오픈AI는 미공개 최신 AI 모델과 최대 1만개의 AI 에이전트를 동원해 88시간 만에 나비에-스토크스 존재성과 매끄러움 문제의 해법을 제시했다고 발표했으며, 이번 증명을 통해 특정 조건에서 특이점이 발생할 수 있음을 보였다고 주장했습니다. 오픈AI는 논문과 린(Lean)으로 작성한 형식 증명을 공개했으나 수학계의 검증과 클레이수학연구소의 공식 인정(적격 학술지 발표 후 최소 2년 경과 및 일반적 인정)이 남아 있습니다. 연구에서는 AI들이 여러 그룹으로 문제를 탐색하고 인간 연구진이 그룹 간 핵심 아이디어를 전달하는 방식으로 진행했으며, 테런스 타오 등은 AI가 난제 해결을 대신하면 수학자들이 얻는 통찰이 줄어들 수 있다는 우려를 표했습니다.