Google DeepMind가 개발한 수학 인공지능 AlphaProof Nexus가 미해결 수학 문제 수십 개를 스스로 풀었고, 이 연구가 학술지 Science에 실렸다. 동료 심사를 거친 논문이다.
AlphaProof Nexus는 미해결 상태로 공개된 Erdős 문제 353개 가운데 9개를 풀었다. 이 중 2개는 56년 동안 풀리지 않은 문제였다. 연구팀은 논문 발표에 앞서 이 풀이를 온라인에 공개했다.
성과는 Erdős 문제에 그치지 않는다. 정수 수열 데이터베이스 OEIS의 추측 44개를 증명했고, 대수기하학의 미해결 문제 하나를 풀었다. 일부 AI 모델을 학습시키는 데 쓰이는 min-max 최적화에서는 기존에 알려진 한계값을 개선했다.
시스템은 Gemini 3.1 Pro를 중심으로 짜였다. Gemini 3.1 Pro가 형식 언어 Lean으로 증명 초안을 쓰고 고치면, Lean이 수정할 때마다 초안을 검사하고 오류 메시지가 다음 시도의 방향을 잡아준다. 더 어려운 하위 문제에서는 증명 전용 도구 AlphaProof를 부를 수 있다. Erdős 문제 9개는 AlphaProof 없이도 풀었다고 Google DeepMind가 밝혔다.
OpenAI는 최근 AI가 쓴 증명 수백 건을 학술지에 내지 않고 GitHub에 올렸다. 테렌스 타오가 이끄는 Association for Human Mathematics는 이에 보이콧을 촉구했다. Google DeepMind는 심사 절차를 밟는 쪽을 택했다.
출처
이 기사는 아래 자료를 바탕으로 정리했습니다. 제목을 누르면 원문이 새 창으로 열립니다.
