오픈AI “88시간 만에 세계 7대 수학 난제 풀었다”

AI 요약

오픈AI가 인공지능을 활용해 세계 7대 수학 난제 중 하나인 나비에-스토크스 존재성과 매끄러움 문제의 해법을 찾았다고 8일(현지시간) 발표했습니다. 최대 1만개의 AI 에이전트를 투입해 작업을 시작한 지 약 88시간 만에 증명을 완성했으며 에이전트들이 주고받은 메시지는 약 270만건, 생성한 출력 토큰은 약 1300억개에 달했습니다. 오픈AI는 린(Lean)으로 검증한 165쪽 분량의 논문과 증명을 공개했으나 이번 증명이 밀레니엄 문제의 해법으로 인정되려면 수학계의 외부 검증을 거쳐야 합니다.