구글 딥마인드의 알파프로브 넥서스는 수십 가지 개방형 수학 문제를 해결했으며, 실제로 동료 검토도 거쳤습니다.
Manuel Uth
Oct 12, 2026구글 딥마인드의 AI가 스스로 수십 가지 개방형 수학 문제를 해결했습니다. 새로운 연구에 따르면 과학. AlphaProof Nexus 353개의 에르드시스 문제 중 9개가 풀이되었으며, 56년 동안 풀리지 않은 문제도 2개 있었습니다. 연구팀은 논문 발표 전에 그 해법을 온라인에 공유했습니다.
그 외에도 AlphaProof Nexus는 OEIS 정수 시퀀스 데이터베이스에서 44개의 추측을 증명했으며, 대수적 기하학의 미해결 문제를 해결하고, 일부 AI 모델을 훈련하는 데 사용되는 최소-최대 최적화 기술에 대한 잘 알려진 상한선을 개선했습니다. 이 도구는 Gemini 3.1 Pro를 기반으로 구축되었으며, 정식 언어 Lean으로 증명서를 작성하고 수정합니다. Lean은 모든 초안을 편집 후마다 검사하며, 오류 메시지가 다음 시도를 안내합니다. 더 어려운 하위 문제에 대해서는 AlphaProof라는 전문 증명 도구를 사용할 수 있습니다. AlphaProof 없이도, 이 도구는 Google Deepmind 보고서에 명시된 9개의 Erdős 문제를 해결했습니다.
이 연구는 AI 수학에 대한 격렬한 논쟁 속에서 발표되었다. OpenAI는 최근 GitHub에 수백 개의 AI 증명을 덤프하여 학술지에 제출하는 대신 그렇게 했다. 테렌스 타오가 이끄는 Association for Human Mathematics는 보이콧을 요구했다. Deepmind는 자신의 연구를 동료 검토를 거쳤다.
과장 없는 AI 뉴스 – 인간이 선별한 내용
THE DECODER에 가입하여 광고 없는 읽기, 주간 AI 뉴스레터, 매년 6회 발행되는 독점적인 "AI Radar" 전선 보고서, 전체 아카이브 접근 권한, 그리고 우리의 코멘트 섹션에 대한 접근 권리를 얻으세요.
출처: Science / Study