OpenAI 에이전트의 수학 난제 해결 방식, 수학자들도 이해 불가… AI의 ‘증명’이 판독하기 힘들 정도로 난해하기 때문

이달 초, OpenAI는 10,000개의 강력한 AI 에이전트를 88시간 동안 쉬지 않고 투입하여 수학 분야의 최대 난제 중 하나인 나비에-스토크스(Navier-Stokes) 방정식에 대한 해답을 찾았다고 발표했습니다. 하지만 수학자들이 회사가 본질적으로 그들의 연구를 훔쳤다고 비난하면서 논란에 휩싸인 계기가 되었습니다.

그 논란은 여전히 수학계에 파장을 일으키고 있습니다. 하지만 AI의 해결책이 우리에게 무엇을 가르쳐 주었을까요? 결과적으로 별로 없습니다. 왜냐하면 AI가 작성한 증명은 기술적으로는 정확하지만, 인간이 이해하기에는 거의 불가능에 가깝기 때문입니다.

“지금까지 이 새로운 AI 증명에서 인간의 이해를 진정으로 추출해 내는 것은 매우 어려웠습니다”라고 옥스퍼드 대학교의 수학자 James Maynard는 NPR에 말했습니다.

“그 논문은 인간을 위해 작성된 것이 아닙니다”라고 자신의 연구에 AI를 사용하는 브라운 대학교의 수학자 Javier Gómez-Serrano도 거들었습니다. 그는 AI의 증명이 “심각한 재작성”을 거친 후에야 해당 분야에 도움이 될 수 있겠지만, “현재로서는 그 논문이 우리에게 가르쳐 주는 것이 많지 않다”고 덧붙였습니다.

나비에-스토크스 방정식은 돌풍에서부터 소용돌이치는 해류에 이르기까지 유체가 어떻게 움직이고 작용하는지를 수학적으로 설명합니다. 이 방정식은 거의 2세기 동안 신뢰할 수 있는 결과와 함께 사용되어 왔지만, 왜 작동하는지는 여전히 수수께끼로 남아 있습니다. 과학자들은 이 방정식을 한계까지 밀어붙여 그 예측이 현실 세계에서는 말이 되지 않는 시나리오를 설명하게 되는 한계점에 도달할 수 있는지 확인하고 싶어 했습니다. 이 방정식의 중요성을 구체화하기 위해 클레이 수학연구소(Clay Mathematics Institute)는 2000년에 나비에-스토크스 방정식을 6대 밀레니엄 문제 중 하나로 선정했으며, 이를 해결하는 데 100만 달러의 상금을 걸었습니다.

OpenAI는 자사의 AI 에이전트 군단이 유체가 무한한 속도로 가속하여 “폭발(blow up)” 또는 특이점을 생성하는 시나리오를 식별했다고 주장했습니다. 물론 이는 물리적 우주에서는 불가능한 일입니다.

발표 몇 시간 전, 수년 동안 나비에-스토크스 문제를 연구해 온 NYU의 수학자 Tristan Buckmaster는 OpenAI가 통지나 허가 없이 자신의 연구에 끼어들었으며, 자신의 아이디어를 결승선 너머로 밀어붙임으로써 본질적으로 이를 도용했다고 비난했습니다. 그는 OpenAI의 작업이 자신의 연구와 유사한 경로를 따랐으며, 이 분야의 다른 누구도 이를 추구하지 않았다고 주장했습니다. 그는 자신의 연구를 돕기 위해 OpenAI의 Codex 도구를 사용해 왔기 때문에, OpenAI가 비밀리에 자신의 노트에 접근했을 수 있다고 암시했습니다. 그가 이 문제에 대해 OpenAI에 문의했을 때, 회사는 그가 Anthropic에서 일하고 있던 협력자 Levent Alpöge를 제외한다면 논문에 그의 이름을 올려주겠다고 말했다고 그는 주장합니다.