热点事件历史事件
AlphaProof Nexus攻克数学难题并获Science评审
1 篇报道1 个报道来源3 天前更新
先了解这件事
AI 综述
Google DeepMind开发的AlphaProof Nexus模型在解决开放数学问题上取得重大突破。该模型基于Gemini 3.1 Pro架构，利用Lean形式化语言自动起草并修正证明过程。最新报道显示，AlphaProof Nexus成功解决了九个Erdős开放问题以及OEIS中的44个猜想。值得注意的是，此次成果是在无需调用专用工具AlphaProof的情况下独立完成的。相关研究成果已通过顶级期刊《Science》的同行评审，标志着AI在自动化数学证明领域达到了新的高度，验证了通用大模型结合形式化工具在复杂逻辑推理任务上的有效性。
AI 根据报道生成 · 3 天前更新
最新进展10月12日 17:35
AlphaProof Nexus解决9个Erdős问题及44个OEIS猜想，通过《Science》同行评审。报道时间线
沿着报道，了解事件的不同侧面。
10月12日
- The DecoderGoogle DeepMind AlphaProof Nexus 解决数十个开放数学问题并通过同行评审
Google DeepMind 的 AlphaProof Nexus 解决了九个 Erdős 开放问题及 OEIS 中 44 个猜想，成果已通过《Science》期刊同行评审。该模型基于 Gemini 3.1 Pro，利用 Lean 形式化语言自动起草并修正证明，在无需调用专用工具 AlphaProof 的情况下仍成功攻克上述难题。
本事件热度走势
当前热度 3·可比范围峰值 10（10月12日 19:00）·近 24 小时可比范围变化 -51%
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。