OpenAI 发布 372 项数学证明，含 23 个 Erdős 问题
burny_tech · x · 2026-10-09
OpenAI 于 10 月 6 日发布 GitHub 仓库，包含 372 项重大数学证明声明，多数称解决或大幅推进纯数学领域的重要问题。
Erdős 问题网站维护者 Thomas Bloom 撰文整理了其中与 Erdős 问题相关的声明：共涉及 23 个 Erdős 问题，他认为均有意义，相关论文总长达 1268 页且写作质量不佳，通读理解需要时间。Bloom 强调尚未认真核查这些证明，其中部分还被指抄袭此前已出现的论文，AI 证明的署名与信用归属将是需要长期讨论的问题。
所属事件:数学界抵制 OpenAI 批量发布 700 份数学手稿(53 条相关)→
「模型」频道最新
- Unsloth 支持微调 Qwen/Llama 成「决策模型」，小模型替代生成式路由 — blaizedsouza · 2026-10-09
- Meta 公开 Muse Glimmer 技术细节:支持本地 Agent 的开源权重模型 — LotfiSanae · 2026-10-09
- NeurIPS 论文：LLM 被明令禁止思考时仍停不下来 — james_y_zou · 2026-10-09
- 新 Sol 聊天模型行为保守：不肯外推、探索性差 — TheZachMueller · 2026-10-09
- Step 5 Preview 实测：自动识破 Duolingo 4.1亿美元净利中的税收水分 — Div_pradeep · 2026-10-09
- 独立开发者自训小模型 Rei-v1,专供研究 agent 做决策 — gnukeith · 2026-10-09