ทันเอไอ

AI가 수학의 왕좌를 흔들다: 연구원들이 마주한 새로운 위기와 도전

최첨단 인공지능이 고난도 문제를 해결하고 올림피아드 은메달 수준에 버금가는 정형화된 정리 증명을 해내면서 세계 수학계가 큰 긴장감에 휩싸였다.

The Verge의 팟캐스트 'Decoder'는 The Verge의 AI 전문 기자 Robert Hart와의 인터뷰를 통해 '수학계의 AI 위기'라는 뜨거운 감자를 다뤘다. 이는 수학계에서 인공지능의 역할 확대에 관한 심층 기사에서 비롯된 것이다.

이러한 발전은 Nature지 및 Google DeepMind 블로그의 보고서와 일치한다. 이에 따르면 AlphaProof와 AlphaGeometry 2 같은 모델들은 AI의 논리적 추론 오류나 할루시네이션 문제를 해결하기 위해 논리 검증 시스템 또는 Lean 언어와 결합하여 국제수학올림피아드(IMO) 문제들을 은메달 수준으로 해결해 냈다.

한편 Quanta Magazine은 필즈상 수상자인 수학자 테렌스 타오(Terence Tao)의 말을 인용해, AI가 이미 증명의 허점을 분석하고 검증하는 '코파일럿(Copilot)' 역할을 수행하기 시작했다고 전했다. 그러나 이러한 발전은 인간의 역할 재정립, 학술 연구 평가, 그리고 진정한 수학적 이해의 정의에 대해 최고 수준의 수학자들 사이에 구조적인 우려를 불러일으키고 있다.