추론 모델·AGI 논쟁Google DeepMind
AlphaProof·AlphaGeometry 2의 IMO 2024 결과 발표
AlphaProof·AlphaGeometry 2의 IMO 2024 결과 발표 — 6문제 중 4문제 해결, 42점 만점에 28점(은메달 상단). AlphaProof는 Lean으로 후보 명제를 증명·반증하며 자기학습
왜 중요한가
형식언어 기반 자기학습이 올림피아드 수준에 도달. DeepMind는 Lean·Mathlib 없이는 불가능했다고 명시
출처 — 1차 출처만 싣고, 직접 이동해 확인할 수 있어요
공식 발표deepmind.googlehttps://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/2026년 8월 24일에 더한 조각 · 그 주 보기
같은 주에 나온 조각07.25X에 jagged intelligence 용어 게시보도07.24AI models collapse when trained on recursively generated data논문07.23Retrieval Augmented Generation or Long-Context LLMs? 발표논문07.23Llama 3.1 (8B/70B/405B)보도