开发者称用 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 辅助数学证明与学术界协作文化的张力。
「研究」频道最新
- DeepMind 联合哈佛斯坦福发白皮书:视觉智能或是通向 AGI 之路 — rohanpaul_ai · 2026-09-12
- DeepMind 联合哈佛斯坦福发文:视觉 AI 或是通往 AGI 的路径 — rohanpaul_ai · 2026-09-12
- Arena 分析 3 万组对比:不同 LLM 仅共享 43% 思路 — arena · 2026-09-12
- 离谱又硬核:真实果蝇大脑 16.5 万神经元驱动发币 — Scobleizer · 2026-09-12
- Insilico 用 fly 脑计算合成新药,抗衰老药进入 III 期临床 — Scobleizer · 2026-09-12
- 生成模型 Packora 发布：预测分子晶体结构达到领先性能 — CatAstro_Piyush · 2026-09-12