오픈AI, AI 활용해 90년 수학 난제 해법 발표

오픈AI가 9월 8일(현지 시각) 인공지능(AI)을 활용해 90년 넘게 풀리지 않던 수학 난제인 '나비에-스토크스 방정식'의 해법을 찾았다고 발표했습니다. 이 문제는 100만 달러의 상금이 걸린 '밀레니엄 문제' 중 하나입니다.

오픈AI는 최신 비공개 AI 모델로 최대 1만 개의 AI 에이전트를 투입해 '나비에-스토크스 존재성과 매끄러움 문제'를 풀어냈다고 밝혔습니다. AI 에이전트를 88시간 돌려 해법을 찾았고, 165쪽 분량의 증명을 함께 공개했습니다. 나비에-스토크스 방정식은 유체의 움직임을 설명하는 방정식으로, 유체 속도가 무한대로 커지는 '특이점' 발생 가능성을 증명하는 것이 핵심입니다. 지난 2000년 밀레니엄 문제 7개가 선정된 이후 26년 동안 전 세계 수학자들이 매달렸습니다. 러시아 수학자 그리고리 페렐만이 예전에 푼 '푸앵카레 추측' 하나가 지금까지 공식적으로 해결된 유일한 사례입니다. 오픈AI의 증명이 국제 수학계의 검증을 통과하면 인공지능이 밀레니엄 문제를 해결한 첫 사례이자 두 번째 해결 사례가 됩니다. 과학 매체는 이번 발표를 두고 '수학계 가장 중요한 날'이라고 평가했습니다.

밀레니엄 문제: 2000년 미국 클레이 수학연구소가 인류가 풀어야 할 7가지 수학 난제를 선정하고, 각 문제에 100만 달러의 상금을 내건 것입니다.

경향신문은 이번 발표를 두고 인공지능의 수학 능력이 상향 평준화될 것이라는 낙관과 인간 전문성이 소실될 것이라는 우려가 교차하고 있다고 전했습니다.