본문 바로가기
IT/과학

88시간 만에 ‘7대 난제’ 푼 AI…수학계, 격랑 속으로

오픈AI가 차세대 인공지능(AI) 모델을 이용해 수학계 7대 난제 중 하나인 ‘나비에-스토크스 방정식’의 해법을 찾았다고 발표했다.

88시간 만에 ‘7대 난제’ 푼 AI…수학계, 격랑 속으로

오픈AI, 유체 속도 무한대로 커지는 ‘특이점’ 발생 가능성 증명

90년 넘게 못 풀어 상징성 커…과학매체 “수학계 가장 중요한 날”

‘인간 전문성 소실’ 비관, 수학 능력 ‘상향평준화’ 가능성 낙관 교차

오픈AI가 차세대 인공지능(AI) 모델을 이용해 수학계 7대 난제 중 하나인 ‘나비에-스토크스 방정식’의 해법을 찾았다고 발표했다. 아직 수학계의 검증을 거쳐야 하는 단계이지만, 이 해법이 공식적으로 인정받을 경우 AI가 현대 수학의 최고 난도급 문제를 직접 푼 첫 사례로 수학계의 ‘알파고 모멘트’가 될 수 있다는 해석이 나온다.

오픈AI는 8일(현지시간) AI가 수학계 대표 난제인 ‘나비에-스토크스 방정식’의 해가 항상 ‘존재’하고 ‘매끄럽게 유지되는지’를 다루는 문제에 관한 풀이를 찾았다고 발표했다. 나비에-스토크스 방정식은 물·공기 같은 유체의 흐름을 기술하는 기본 방정식이다.

3차원(D) 유체의 흐름이 처음에는 매끄럽게 시작하더라도 시간이 지나면서 속도가 무한대로 커지는 ‘특이점’이 발생할 수 있는지는 오랫동안 풀리지 않은 난제로 꼽혀왔다. 이번에 오픈AI가 특정 조건에서는 이런 특이점이 생길 수 있다는 반례를 제시한 것이다.

풀이에는 오픈AI의 최상위 모델인 ‘아스트라’보다 성능이 높은 미공개 차세대 모델이 동원됐다. 약 1만개의 AI 에이전트를 투입해 첫 가동 이후 88시간 만에 해법에 도달했다고 회사 측은 밝혔다.

AI가 수학 난제를 푼 사례는 이전에도 있었지만 이번에는 난도가 훨씬 높고 상징성도 크다. 나비에-스토크스 방정식은 2000년 클레이수학연구소가 선정한 7개 ‘밀레니엄 문제’ 가운데 하나로, 90년 넘게 풀리지 않은 난제다.

미국 과학매체 사이언티픽 아메리칸은 “지난 20년 혹은 그 이상의 기간을 통틀어 수학계에서 가장 중요한 날이 될 수도 있다”고 했다. 다만 이번 풀이가 공식적으로 인정받으려면 2년 이상 수학자들의 검증을 거쳐야 한다.

연구 공로와 데이터 활용을 둘러싼 논란도 불거졌다. 뉴욕대 수학자 트리스탄 벅마스터와 앤트로픽의 레벤트 알푀게가 비슷한 접근 방식으로 먼저 연구를 진행하고 있었는데, 오픈AI가 이들의 진척을 파악한 뒤 대규모 자원을 투입했다는 주장이다.

벅마스터 연구진은 오픈AI 모델인 코덱스도 연구에 사용한 것으로 알려졌다. 오픈AI는 사용자 데이터를 이번 증명에 직접 활용하지 않았다고 반박했지만, 비식별화된 데이터가 모델 개선에 영향을 줬을 가능성은 배제하지 않아 향후 연구 성과를 놓고 논란이 이어질 수 있다.

AI가 수학 연구 자체를 어떻게 바꿀지를 두고도 전망이 엇갈린다. 오픈AI 연구자 노엄 브라운은 이날 SNS에 “오픈AI의 많은 수학자들이 ‘이세돌 모멘트’를 경험했다”며 “1년 뒤에는 누구나 이런 수준의 문제를 풀 수 있는 AI를 손에 쥐게 될 것”이라고 했다. 알파고 이후 바둑기사들의 실력이 상향 평준화된 것처럼 AI가 인간의 수학 능력을 향상시킬 것이라는 주장이다.

반면 토론토대 수학자 대니얼 리트는 지난달 오픈AI가 주최한 수학자 회의에서 “고품질의 수학 연구가 사라지고, 인간의 수학적 전문성이 완전히 소실되는 세계가 올 가능성이 있다”며 비관적인 전망을 내놨다.

임성빈 고려대 통계학과 교수는 “오픈AI 발표가 검증을 통과한다면 파급력이 매우 크고, 향후 다른 난제도 AI로 풀 가능성을 엿보인 사건”이라며 “사람이 오랫동안 쌓아 놓은 성과 위에 이뤄진 것이고, 검증도 사람이 해야 한다”고 했다. 임 교수는 “AI가 해답을 내놓더라도 그 의미를 부여하고 학문·산업으로 연결하는 것은 인간 전문가가 할 일”이라고 말했다.

영문번역(English Translation)

이 기사 공유하기
페이스북X

이 기사를 추천합니다

i

댓글

0

후 댓글을 작성할 수 있습니다.

아직 댓글이 없습니다 이 기사에 첫 의견을 남겨보세요.

댓글 수정