수학자들, AI에게 '증명 과정 보여줘' 도전장

도전 배경

주요 수학자들이 AI가 진짜 미해결 수학 문제를 풀 수 있는지 검증하기 위해 전례 없는 "First Proof" 시험을 출제했다. 이는 AI 기업들의 검증되지 않은 수학적 돌파구 주장에 대한 우려에서 비롯됐다.

왜 중요한가

수학 커뮤니티는 최근 AI 성과에 회의적이다. MIT의 Andrew Sutherland는 "이들은 어떤 LLM의 학습 데이터에서도 찾을 수 없는 완전히 새로운 문제들"이라고 말했다. 이는 AI가 학습 자료에서 기존 해답을 단순히 검색할 수 없도록 보장한다.

과거 AI 성과는 의문을 낳았다. 한 스타트업이 대대적으로 홍보한 증명은 실제로는 문헌 검색 결과를 잘못 표현한 것으로 드러났다. 또한 AI 수학에 관한 대부분의 논문이 AI 시스템을 생산하는 기업 자체에서 나와, 독립적 검증이 아닌 자기 홍보처럼 보인다는 문제가 있었다.

시험 구조

필즈 메달 수상자를 포함한 11명의 수학 전문가들이 자신들의 연구에서 나온 미해결 문제를 기여했다. 시험은 "보조정리(lemmas)"에 초점을 맞춘다. 이는 수학자들이 더 큰 결과를 향해 작업하면서 증명하는 작은 정리로, AI의 일상적인 수학 연구 활용을 더 현실적으로 대표한다.

중요한 점은, 암호화된 증명이 사전에 제출되었고 2월 13일에 복호화될 예정이라는 것이다. 이는 사후에 답을 조작할 수 없도록 보장한다. 참여 AI 시스템들은 이 문제들을 푸는 데 1주일의 시간이 주어진다.

미래 잠재력

수학자들은 랜드마크 미해결 문제를 푸는 것보다, AI의 단기 가치를 지루한 연구 구성 요소를 가속화하는 것으로 본다. 이는 잠재적으로 수학 연구를 분야 전반에 걸쳐 더 효율적으로 만들 수 있다.