뉴스 - 원문 기반 요약 필요

제목(한글): 딥마인드, 수백달러로 난제 9개 증명 원문 제목(영문): Google Deepminds AlphaProof Nexus solves decades-old math problems for a few hundred dollars 원문: Google Deepminds AlphaProof Nexus solves decades-old math problems for a few hundred dollars 소스: the-decoder MD 파일: content/2026-05-26/the-decoder-google-deepmind-039-s-alphaproof-nexus-solves-deca.md

핵심 내용

구글 딥마인드 AlphaProof Nexus가 수십 년 묵은 수학 난제를 자율적으로 풀었어요.

353개 에르되시 미해결 문제에 도전해 9개를 해결했고, 이 중 2개는 56년간 답이 없던 문제였어요. OEIS 미해결 추측 492개 중 44개를 증명했고, 대수기하학 힐베르트 함수 15년 난제와 볼록최적화 경계도 개선했어요. 문제당 추론 비용은 수백 달러 수준이었어요.

핵심은 LLM 단독 추론이 아니라 Lean 형식 언어+컴파일러 검증 루프예요. Gemini 3.1 Pro가 증명 단계를 만들면 오류 피드백으로 즉시 재시도하고, 최종 확인만 사람이 맡아요. 특히 단순한 Agent A도 9개 에르되시 문제를 모두 풀었다는 점이 시사점이 커요.

잡돌쌤의 한마디

Gemini 3.1 Pro가 Lean 증명 단계를 만들고 컴파일러가 즉시 검증해요. 사람 개입은 마지막 확인만, 비용도 문제당 수백 달러였어요.

---

출처: Google Deepminds AlphaProof Nexus solves decades-old math problems for a few hundred dollars