📖 AI 总结

Google DeepMind 的 AlphaProof Nexus 在数学领域取得突破性进展，相关研究已发表于《Science》并经过同行评审。该系统自主解决了数十个未解数学问题，包括 353 个 Erdős 问题中的 9 个，其中两个已悬置 56 年之久；此外还证明了 OEIS 整数序列数据库中的 44 个猜想，解决了一个代数几何开放问题，并改进了用于训练部分 AI 模型的 min-max 优化技术的已知边界。该系统基于 Gemini 3.1 Pro 构建，用 Lean 形式化语言起草和修订证明，每次编辑后由 Lean 校验，错误信息引导下一步尝试，必要时可调用专用证明工具 AlphaProof。值得注意的是，即便不借助 AlphaProof，它也能解决那 9 个 Erdős 问题。此举与 OpenAI 将大量 AI 证明直接发布到 GitHub 而未经期刊评审的做法形成对比，后者曾引发 Terence Tao 等数学家呼吁抵制。DeepMind 选择同行评审路径，为 AI 数学研究的可信度树立了不同范式。