OpenAI, 수학의 ‘밀레니엄 문제’ 중 하나 해결했다고 발표

OpenAI는 화요일 자사의 인공지능 기술이 세계에서 가장 똑똑한 사람들도 당황하게 만든 수학계의 유명하고 어려운 7대 난제인 '밀레니엄 문제' 중 하나를 해결했다고 밝혔습니다.

조사 결과 발표에서 회사는 공개되지 않은 내부 모델이 유체의 운동과 관련된 200년 된 퍼즐인 나비에-스토크스(Navier-Stokes) 문제를 해결했다고 말했습니다.

회사는 자사 모델이 문제를 해결하는 데 88시간이 걸렸으며, 어느 정도 동시에 작동하는 최대 10,000개의 “AI 에이전트”를 사용했다고 밝혔습니다.

“이 이정표는 수학자와 AI 연구원들의 상당한 노력을 나타냅니다. 그러나 이것은 정점이 아니라 AI 개발 진척 상황의 한 단면일 뿐입니다.”라고 회사는 성명을 통해 밝혔습니다.

그러나 이 발표는 또 다른 이유로 수학계에 파장을 일으켰습니다.

OpenAI의 발표 전날 밤, New York University의 수학 교수 Tristan Buckmaster는 성명을 발표하여 자신과 Anthropic의 연구원 Levent Alpöge가 작년부터 시작된 연구의 결실로 나비에-스토크스 문제를 조사해 왔으며, OpenAI의 Codex를 포함한 여러 거대 언어 모델을 혼합하여 사용했다고 밝혔습니다.

그들이 결과를 공개할 준비를 하면서 OpenAI 연구원들에게 연락을 취했고, 나중에 연구원들이 비슷한 발견을 하려 한다는 것을 알게 되었다고 말했습니다.

“내가 주장하지 않는 것이 무엇인지 분명히 하고 싶습니다.” Buckmaster는 성명에서 말했습니다. “나는 OpenAI의 증명을 보지 못했습니다. 나는 그들의 모델이 무엇을 어떻게 했는지 모릅니다. 나는 우리의 데이터가 사용되었는지 여부도 모릅니다. 나는 누구도 비난하는 것이 아닙니다.”

OpenAI의 모델이 자체적인 결론에 도달하기 위해 그들의 진행 중인 작업을 사용했을 수 있다는 우려에 대해, OpenAI는 또 다른 밀레니엄 제상 문제가 해결되었다는 소문을 들은 후 9월 1일에 나비에-스토크스 문제 해결 작업을 시작했다고 인정했습니다.

에이전트가 인터넷의 캐시된 버전을 읽는 능력과 코드를 실행하는 능력과 같은 도구에 접근할 수 있었지만, “그들이 공개적으로 발표하기 전까지는 어떤 수단으로도 그들의 작업을 보지 못했다”며 “이 문제를 해결하기 위해 특정 사용자 데이터에 접근하지 않았다”고 밝혔습니다.

화요일 성명에 따르면 OpenAI는 Buckmaster와 Alpöge에게 연락하여 결과의 동시 발표와 “우리가 사용한 모든 프롬프트에 대한 가시성 및 나중에 증명을 볼 수 있는 기회”를 제안했다고 밝혔습니다. 화요일 발표와 함께 OpenAI는 에이전트가 문제를 어떻게 해결했는지 보여주는 Lean 증명도 게시했습니다.