AI 연구 · 일반 브리핑 · UNREAL LAB 자체 기사
AI 1만개가 88시간 동안 수학 난제에 매달렸다. 진짜 변화는 연구실에서 시작된다
오픈AI는 약 1만개의 AI 에이전트가 88시간 동안 나비에-스토크스 문제의 풀이를 탐색했다고 발표했다. 아직 수학계가 인정한 정답은 아니지만, 이 실험은 AI가 과학 연구에서 맡을 다음 역할을 선명하게 보여준다.
챗봇 한 명이 푼 문제가 아니다
“AI가 88시간 만에 수학 난제를 풀었다”는 제목은 강렬하지만, 실제로는 챗봇 하나의 번뜩임과 거리가 멀다. 오픈AI는 약 1만개의 에이전트가 동시에 가설을 세우고, 계산을 돌리고, 서로의 결과를 넘겨받는 방식으로 움직였다고 설명했다. 나비에-스토크스 방정식은 공기와 물의 흐름을 다루는 식이다. 이번 실험은 정답을 단번에 맞히는 시험이 아니라, 끝이 보이지 않는 풀이 경로를 대규모로 좁혀 가는 연구 작업에 가깝다.
88시간 뒤에는 작은 연구실 하나가 있었다
이 실험에 투입된 시간은 88시간이지만, 규모는 작지 않았다. 오픈AI는 나비에-스토크스 작업에서 약 270만건의 메시지와 1300억 개의 출력 토큰이 쓰였다고 밝혔다. 수천 개의 AI가 같은 문제를 병렬로 붙잡고 있었기에 가능한 속도다. 그래서 이 성과를 “사흘 만에 풀었다”고만 읽으면 핵심을 놓친다. 중요한 변화는 시간이 아니라, 한 사람이 순서대로 하던 탐색을 거대한 계산 조직으로 바꿨다는 점이다.
기계가 확인한 것과 학계가 인정하는 것은 다르다
오픈AI는 GPT-6 아스트라가 17시간을 더 들여 풀이를 Lean으로 형식화했다고 밝혔다. Lean은 증명의 단계가 주어진 가정에서 논리적으로 이어지는지 점검하는 도구다. 다만 그것만으로 난제가 해결됐다는 뜻은 아니다. 명제가 문제를 정확히 옮겼는지, 숨은 가정은 없는지, 새로운 풀이가 학계의 검토를 통과하는지는 수학자들이 따로 살펴야 한다. 그래서 지금 이 발표는 ‘해결 완료’보다 ‘검토할 만한 새로운 풀이가 나왔다’에 가깝다.
과학자에게 남는 일은 더 선명해진다
AI가 후보를 많이 만들수록 사람의 일은 줄어들기보다 달라진다. 어떤 질문이 중요한지 정하고, AI가 제시한 증명이 원래 문제를 제대로 겨냥했는지 판단하고, 다른 연구자가 따라갈 수 있게 설명하는 일이다. 이번 발표가 연구자에게 던지는 메시지는 단순하다. 앞으로의 경쟁력은 AI에게 답을 묻는 능력보다, AI가 가져온 수많은 답 중 무엇을 믿고 어디서 멈출지 결정하는 능력에 있을 수 있다.