[AI는 지금] AI도 '집단 연구' 나섰다…오픈AI, 1만개 에이전트로 90년 수학 난제 풀어

AI 요약

오픈AI는 약 1만 개의 AI 에이전트를 투입해 나비에-스토크스 존재성과 매끄러움 문제에 대한 해법을 제시해 약 88시간 만에 해법을 찾아냈다고 9일 밝혔다. 에이전트들은 나비에-스토크스 문제에서 약 270만 건의 메시지와 약 1300억 개의 출력 토큰을 사용했으며 전체 수학 문제 범위로는 메시지 490만 건과 출력 토큰 약 3000억 개가 오갔다. 오픈AI는 이후 GPT-6 아스트라를 이용해 결과를 린(Lean)으로 형식화·검증하는 데 17시간을 추가로 투입했으나 수학계의 독립적 검증과 클레이수학연구소의 인정 절차가 남아 있고 회사는 상금 100만 달러를 청구하지 않겠다고 밝혔다.