DeepMind AlphaProof Nexus 解数十道数学开放题并过同行评审
The Decoder · rss · 2026-10-12
- Google DeepMind 的 AlphaProof Nexus 系统解决了数十道开放数学问题，其中包括九道 Erdős 问题，其中两道已悬而未决达 56 年。
- 相关研究成果以论文形式发表于《Science》，且在发表前经过了正式同行评审。
- 报道将此与 OpenAI 形成对照：OpenAI 因将 AI 生成的数学证明直接发布到 GitHub、未经同行评审而引发抵制。DeepMind 选择先评审再发表，被视为在 AI 科研规范上的立场差异。
「研究」频道最新
- 陶哲轩:AI 让证明变廉价,数学家的新工作是想象力 — burny_tech · 2026-10-12
- EMNLP 论文:按主机采样式爬取可多收数倍高质量预训练页面 — metehan777 · 2026-10-12
- Ethan Mollick：赛博格研究者正迅速主导数学研究 — TinfoilTricorn · 2026-10-12
- AI 证算是暴力破解还是真智能,X 上的争论 fusillade — teortaxesTex · 2026-10-12
- OpenAI 论文宣称证明 π 无理性指数恰为 2,355/113 已近极限 — TinfoilTricorn · 2026-10-12
- Nature：字节化改造让 LLM 终于能数对单词里的字母 — PontiEdoardo · 2026-10-12