OpenAI가 90년간 풀리지 않은 밀레니엄 난제 '나비에-스토크스 문제'의 해법을 발표했다. 나비에-스토크스는 흐르는 것들의 운동 법칙을 다루는 문제로, 유체의 속도와 압력이 시간에 따라 어떻게 변화하는지를 묻는 문제다. 100만 달러 상금이 걸린 밀레니엄 난제 중 하나로 꼽힌다.

해법은 AI 에이전트 1만 개가 88시간 동안 협업해 도출했다. 결론은 유체에 특이점이 생길 수 있다는 것으로, 유한한 시간 안에 속도가 무한대가 될 수 있음을 증명했다. 증명은 Lean 증명 검증으로 확인했으며, 형식 증명 링크도 공개됐다.

성과 발표와 함께 논란이 일었다. OpenAI는 이 문제를 Codex를 이용해 먼저 연구해 왔으며, 사람 연구자 역시 Codex를 통해 정보를 주고받은 바 있다. 수학자 버크마스터는 자신의 풀이 방법과 동일한 결과가 나온 점을 들어 자신이 입력한 데이터를 가져간 것 아니냐고 의심했다.

주류가 아닌 연구 기법을 AI가 학습해 사용했을 가능성에 대해 OpenAI는 사용하지 않았다고 부인했다. 다만 '가능성은 낮지만 비식별 데이터가 모델 개선에 기여했을 가능성은 배제할 수 없다'고 밝혔다. 수학자가 쓴 내용이 학습 데이터로 수집됐을 것이라는 지적과, 증거가 부족하다는 반론도 제기됐다.

OpenAI는 나비에-스토크스 해법의 단독 저자를 연구자에게 주되, OpenAI 내부 모델이 풀었다고 명시해 달라고 제안했다가 거절당했고, 이 역시 논란이 됐다.

계산 비용은 일반 요금 기준 약 600만 달러로, 상금 100만 달러의 여섯 배에 달한다. OpenAI는 상금을 받지 않겠다고 밝혔다.

이번 홍보가 정책 결정자에게 '인간 수학자는 필요 없다', '청소년에게 수학의 미래가 없다'고 들릴 수 있다는 우려도 나왔다. AI는 존재 증명이나 반례 찾기에는 강하지만 새로운 수학 이론을 세우는 데는 여전히 사람이 필요하다는 지적이다.

필즈상 수상자 등 수학 천재 25명은 공동 성명을 내고 AI 기업들이 난제 풀이 성능을 경쟁의 기준으로 삼는 흐름을 경고했다. 성명은 수학의 목적이 새로운 개념과 방법을 이해하고 발전시키는 것인데, 이해 없이 진전 확인의 이정표로 삼아 서둘러 발표하면 충분한 해설, 새 방법 정리, 선행 연구 인용이 빠질 수 있다고 지적했다.

이번 발표를 두고 수학 학과를 선택할 사람이 줄어들 것이라는 전망도 나왔다.