OpenAI 一口气放出 372 个数学证明,数学家的心态崩了
genmon · x · 2026-10-11
Matt Webb(Interconnected 博客)评论 OpenAI 发布 372 个数学证明一事——继一个月前的 Navier-Stokes 证明争议后,OpenAI 新的 PR 策略是「震撼与威慑」。
- 其中部分结果被认为极为重要:如 4 维 Kakeya 问题证明;而今年夏天 Hong Wang 刚因 3 维 Kakeya 证明获菲尔兹奖,该 4 维结果被认为是菲尔兹奖级别
- 数学家反应剧烈:有人在 Hacker News 说自己在这个问题上花了数千小时,「听说它被解决,像听到前任突然车祸去世」;另有人称「仿佛被卡车碾过,我讲座、论文、基金申请里提到的所有问题和研究方向都被解决了」
- Webb 对比工程师/设计师与数学家的心境:工程师视工作为「建造」,AI 加速是好事;而数学家的工作像「采矿」,如今岩石消失了,智识边界被重新定义
- 他好奇「数学家」这一身份将变成什么
「漫话AGI」频道最新
- 创作的成本趋近于零,而"有意义"的成本正在攀升 — korymath · 2026-10-11
- 研究者指 Anthropic 与 EA 用资助「制造」安全研究公信力 — gerardsans · 2026-10-11
- 「你不会读它」:想让别人读的内容应少用 AI 生成文本 — josephdviviano · 2026-10-11
- Anthropic 工程师：只要前沿 AI 比每月油钱便宜就仍是划算 — sull · 2026-10-11
- 高盛要求新人从第一天起管理 AI Agent,跳过初级打杂 — LexSokolin · 2026-10-11
- Ben Goertzel 炮轰数学界：没人该被要求「获准」证明定理 — bengoertzel · 2026-10-11