AI 에이전트 1만개 투입…88시간 만에 ‘90년 수학 난제’ 풀었다

2025년 7월 8일, 오픈AI가 90년 넘게 풀리지 않은 수학 난제의 해법을 AI로 도출했다고 발표했다.

A: 나비에-스토크스요? 항공기 설계, 날씨 예보에도 쓰이는 방정식인데. B: 90년 동안 '특이점이 생기는지'조차 증명 못 했죠.

A: 에이전트 1만 개가 각자 다른 경로로 증명을 탐색했다고요? B: 수천 명 연구자가 동시에 뛰는 가상 연구실인 거예요. 메시지만 270만 건.

B: 유한한 시간 안에 특이점이 생긴다는 해법에 도달했대요. A: 검증은 아직이잖아요. 발표랑 증명은 다른 거니까.

B: 앤트로픽도 160년 묵은 리만 가설에서 진전된 결과를 냈어요. 한 달 전에. A: 흐름이 생기고 있는 거네요. 오픈AI만의 일이 아닌 거고.

A: 뉴욕대 수학자가 자기 미공개 연구를 오픈AI 코딩 도구에 입력했다는데… B: 그게 이번 해법에 쓰였을 수 있다는 거잖아요. 아직 확인은 안 됐지만.

B: 계산은 AI가 해요. 이제 수학자는 무엇이 중요한 문제인지를 골라야 한다고요. A: 근데 그 감각, AI 안 쓰고 연구해봐야 생기는 거 아닌가요.