뉴스 - 원문 기반 요약 필요

---

title: "딥마인드 AlphaProof Nexus 수학 난제 9개 해결" description: "뉴스 - 원문 기반 요약 필요" date: 2026-05-26 tags: [ai-news] source: "https://the-decoder.com/google-deepminds-alphaproof-nexus-solves-decades-old-math-problems-for-a-few-hundred-dollars/" sidebar: order: 0

제목(한글): 딥마인드 AlphaProof Nexus 수학 난제 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년 난제와 볼록최적화 경계도 개선했어요.

핵심은 Gemini 3.1 Pro가 Lean 형식 언어로 증명 단계를 만들면 컴파일러가 즉시 검증하고 오류를 되돌려주는 구조예요. 사람은 마지막 검토만 맡았고, 단순한 에이전트(A)만으로도 9개 모두 재현했다는 점이 특히 의미 있어요.

잡돌쌤의 한마디

Gemini 3.1 Pro가 Lean 증명과 컴파일 검증을 반복해 논리 오류를 줄였어요. 사람은 최종 확인만 해 연구 자동화 가능성을 보여줬어요.

---

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