AI
AI 资讯
alishangtian.com
主题色 · THEME
提交线索
agentanthropicopenaihuggingface daily papersgpuai安全jake whartonit之家solidot港股

搜索：AlphaProof

共命中 3 条（服务端检索）
从 AlphaProof 到 IMO 金牌：AI 数学推理为什么死磕形式化验证
2024 年 AlphaProof 以 28/42 拿下奥数银牌，靠的是在 Lean 里写机器可验证的证明；2025 年 Gemini 与 OpenAI 模型以自然语言证明达到金牌线。为什么 DeepMind 先走了一年形式化的「弯路」？陶哲轩的 Lean 实践给出了另一重答案。
研究前沿 精选 · 原创 · 10-7 阅读 385·访客 372
AI 做数学研究走到了哪一步：奖牌、轰炸与「数学 2.0」之争
从 IMO 奖牌级表现到一次发布 372 项结果引爆抵制，AI 证明在 2026 年接连突破也接连越界。本文梳理 AlphaProof、Gemini Deep Think 与 OpenAI 最新成果、Lean 形式化生态的进展，厘清机器辅助证明当前的能力边界，以及数学社区围绕「数学 2.0」的核心争论。
研究前沿 精选 · 原创 · 4天前 阅读 87·访客 83
Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
Manuel Uth Oct 12, 2026 Google Deepmind's AI solved dozens of open math problems on its own,** per a new study in Scienc…
行业动态 The Decoder · 2天前 阅读 5·访客 5