DeepMind发布AlphaProof Nexus

📂 重要动态 · 📰 Google DeepMind

Google DeepMind推出AlphaProof Nexus，这是一个基于Gemini的证明搜索框架，专为数学研究设计。该系统能自主分解复杂问题并生成形式化证明，已在国际数学奥林匹克竞赛级别问题上验证有效性。该进展标志着AI在形式数学领域的突破性应用。

阅读原文