353개 열린 에르되시 문제에 도전해 9개를 풀었고, 그중 2개는 56년 미해결이었어요

구글 딥마인드 AlphaProof Nexus가 수십 년 묵은 수학 난제를 몇백 달러 수준 비용으로 풀었어요.

353개 열린 에르되시 문제에 도전해 9개를 풀었고, 그중 2개는 56년 미해결이었어요. OEIS 미해결 추측 492개 중 44개를 증명했고, 대수기하학 힐베르트 함수 15년 난제와 볼록최적화 경계도 개선했어요.

핵심은 Gemini 3.1 Pro가 Lean 형식언어로 증명 단계를 만들고, 컴파일러가 단계별 검증·오류 피드백을 주는 구조예요. 흥미롭게도 가장 단순한 에이전트(A)만으로도 해결된 9개를 모두 증명했어요.

AI 추론 성능이 단순 언어생성보다 검증 루프 결합에서 크게 도약한다는 신호로 읽혀요.