主要来源Decoder
查看原文事件专题 ·多源确认
Google DeepMind 的 AlphaProof Nexus 解决数十个开放数学问题并获同行评审
Google DeepMind 的 AlphaProof Nexus 解决了数十个开放数学问题，其中包括九个 Erdős 问题，其中两个已悬置 56 年。该成果以论文形式发表在 Science 上，发表前经过了同行评审。同期，OpenAI 因将 AI 生成的数学证明直接上传 GitHub、未经同行评审而遭到抵制。
当前结论
DeepMind 的 AlphaProof Nexus 解出了两个悬置 56 年的 Erdős 问题，还老老实实走了同行评审发在 Science 上，对比 OpenAI 直接往 GitHub 堆证明被抵制，这波操作挺讲究。
11 个信源67° AI 热度最后更新 2026/10/12 09:35:54
证据链
11 个信源冲突核查
现有去重数据只说明这些来源讨论同一事件，不代表立场相同。当前没有结构化的支持或反驳证据，不自动推断冲突。