谷歌 AlphaProof Nexus 攻克两道悬置 56 年数学难题，AI 数学推理再突破
核心看点 谷歌 DeepMind 最新推出 AlphaProof Nexus 框架，结合大语言模型生成证明与 Lean 形式化验证，在 353 个开放的 Erdős 问题中自主解决 9 个，其中包括 2 个悬而未决长达…
主题标签
nexus
关于该主题的全部内容，按发布时间持续更新。
1
篇内容