OpenAI 前沿模型产出大批数学证明，覆盖 23 个 Erdős 问题
OpenAI 官宣发布由内部前沿模型产出的一批新数学成果，发布方式参考了普林斯顿高等研究院「数学与人工智能独立咨询小组」的建议。其中最受关注的是长达 84 页的 Erdős–Pomerance 猜想证明；数学博主 Thomas Bloom 评价这批成果涵盖 23 个 Erdős 问题的证明，每一个都有趣且有意义。相关论文合计 1268 页，完整审读尚需时日。
2026-10-09 ~ 2026-10-09 · 2 条相关
- 第 1 集:OpenAI 数学证明公开与否引学界署名之争(2026-10-06,5 条)
- 第 2 集:传闻 OpenAI 未发布模型证明拟黎曼假设并附 Lean 证明(2026-10-07,3 条)
- 第 3 集:OpenAI 论文宣称证明准黎曼猜想，数学界称堪比菲尔兹奖(2026-10-07,5 条)
- 第 4 集:OpenAI 数学成果细节:平均每题仅耗 3 小时 GPT-Pro 算力(2026-10-07,11 条)
- 第 5 集:传 OpenAI 数学成果仅发首批，还有两批待发布(2026-10-07,3 条)
- 第 6 集:OpenAI 一口气发700份数学手稿,数学界声明抵制、陶哲轩转载(2026-10-07,43 条)
- 第 7 集:剑桥论文质疑 OpenAI Navier-Stokes 证明的 Lean 验证(2026-10-08,19 条)
- 第 8 集:OpenAI 数学仓库公开两天即撤回 3 篇论文，42% 结果已 Lean 形式化(2026-10-08,8 条)
- 第 9 集:研究者用 Lean 验证并改进 OpenAI 数学证明(2026-10-08,2 条)
- 第 10 集:OpenAI 前沿模型产出大批数学证明，覆盖 23 个 Erdős 问题(2026-10-09,2 条)
- 第 11 集:数学界抵制 OpenAI 成果引开源与学界人士批评(2026-10-09,3 条)
- 第 12 集:百余位数学家集体回应 OpenAI 数学突破(2026-10-09,2 条)
- OpenAI 证明 23 个 Erdős 问题，论文合计 1268 页，审读尚需时日 — ctjlewis · 2026-10-09
- OpenAI 发布前沿模型批量数学成果，84 页证明 Erdős–Pomerance 猜想 — burny_tech · 2026-10-09