구글 딥마인드의 AlphaProof Nexus, 수백 달러로 수십 년 묵은 수학 문제 해결

구글 딥마인드는 다중 에이전트 AI 증명 시스템인 AlphaProof Nexus가 시도한 353개 에르되시 문제 중 9개를 풀고, 492개 OEIS 추측 중 44개를 증명했다고 밝혔다.

이 시스템은 언어모델의 증명 생성과 Lean 기반 형식 검증을 결합해 오랜 수학 난제에 도전했다.

연구진은 가장 단순한 LLM+컴파일러 피드백 에이전트만으로도 9개 에르되시 문제를 모두 해결할 수 있었다고 밝혀, 검증의 중요성을 보여줬다.

이번 결과는 더 저렴하고 단순한 AI 워크플로가 실제 수학 연구와 정리 증명에 점점 더 유용해질 수 있음을 시사한다.