百余位数学家集体回应 OpenAI 数学突破
OpenAI 于 10 月 6 日发布解答 100 多个数学问题的成果后震动数学界，数学博客与播客 Proofs and Prompts 征集并汇总了 100 多位数学家的第一反应，其中有人称该成果「近乎难以置信」，博主还在持续收集更多评论。这批短回应集中呈现了学界对 AI 参与数学证明的反思、质疑与期待。
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数学成果震动学界,百位数学家写下反思与回应 — keviv9 · 2026-10-09
另有 1 条近重复转述:burny_tech