数学家罕见盛赞:OpenAI 已证明单位距离猜想等重大公开难题
soumitrashukla9 · x · 2026-10-08
数学家 Alex Kontorovich 在一场关于「数学未来」的讨论中评价 OpenAI 的成果:
- 5 月,OpenAI 证明了单位距离猜想(unit distance conjecture)——这不是被遗忘 60 年的孤僻问题,而是社区大量研究者长期投入、公认的重要公开难题,含金量远超此前证明的 Erdős 冷门问题。
- 但结果发到 arXiv 后,数学界反应是「你怎么敢用 AI slop 污染学术文献」。
- 到 6 月,OpenAI 又一口气证明了包括非 sofic 群存在性在内的 10 个重大问题。
这是数学家 firsthand 承认 AI 首次系统性攻克大量知名公开难题,同时也折射出学术界对 AI 参与研究的抵触情绪。
所属事件:OpenAI 数学成果引爆两极讨论(65 条相关)→
「公司和人」频道最新
- 「人类数学协会」发声明抵制 OpenAI 一次性放出 700 多份数学解答 — elsleightholm · 2026-10-08
- Sentry 承诺今年再加档：持续向开源维护者大额捐款 — zeeg · 2026-10-08
- 阿波罗登月软件之父 Margaret Hamilton 去世，享年 90 岁 — JosephJacks_ · 2026-10-08
- signüll 谈智能生意:做最好的模型,越卖越便宜,别无其他 — signulll · 2026-10-08
- OpenAI DevDay 2026 演讲：自家团队如何用 ChatGPT 干活 — OpenAI · 2026-10-08
- Stack Overflow 用 Codex 造出面向 Agent 的新产品线 — OpenAI · 2026-10-08