开发者称用 OpenAI 推广 Erdős 猜想证明至所有 r≥2 情形
ctjlewis · x · 2026-09-12
开发者 ctjlewis 在 X 上分享：OpenAI 推翻了 Erdős 与 Simonovits 关于 r-退化图 Turán 数的一个猜想，他自称不懂数学，却借助 AI 把原猜想仅覆盖的 r=2 情形推广到了所有 r≥2。
他表示在 Millennium 相关事件之前就想找人验证这一结果，却因“没人愿意免费帮忙”引发数学圈反感与争论，最后自费请了 NYU 的一位组合数学家合作验证，如今关系良好，但过程中充满敌意。
这条帖子同时折射出 AI 辅助数学证明与学术界协作文化的张力。
所属事件:OpenAI 推翻 Erdős–Simonovits 图论猜想(2 条相关)→
「研究」频道最新
- OpenSIR 自博弈框架：LLM 无需训练数据自学数学推理 — PMinervini · 2026-10-28
- 网友玩坏可解释性:找到了让 Qwen「发疯」的神经元 — sebkrier · 2026-10-28
- 不开向量检索也能拿 86.67%,开源记忆层 Mind 挑战 embedding 必要性 — GabrielMartinMoran · 2026-10-28
- 提议：给每篇 arXiv 论文找最短复现 prompt,度量真实信息增量 — tak3sh8 · 2026-10-28
- Piano2Pop：无需对齐监督，把钢琴 demo 自动扩展成完整流行歌 — affige_yang · 2026-10-28
- RAX让真机器人探索2小时自学技能，再把技能写成代码复用 — du_yilun · 2026-10-28