AI 日报 · 2026 年 10 月 13 日 · 星期二

Google DeepMind 的 AlphaProof Nexus 解决了数十个开放数学问题，其中九个为 Erdős 问题，两个悬置已达 56 年，研究发表于 Science。报道称 OpenAI 曾因将 AI 证明未经同行评审直接放上 GitHub 而遭遇抵制，DeepMind 则选择在发表前完成评审。