OpenAI 团队推翻 Erdős–Simonovits 图论猜想并推广到所有 r≥2
ctjlewis · x · 2026-09-12
开发者 ctjlewis 在讨论中透露:OpenAI 在其「千禧年难题」相关工作之前,就已推翻了 Erdős 与 Simonovits 关于 r-degenerate 图的 Turán 数猜想;作者虽自称不懂数学,但与团队一起把已证明的 r=2 情形推广到了所有 r≥2。
作者还回顾了找数学家帮忙审阅的过程:上个月给陌生数学家发邮件石沉大海、路遇数学家时被冷遇,而现在认识了包括图论方向在内的多位数学家后情况已大不相同——侧面反映了这项工作从无人理睬到获得圈内认可的曲折经过。
所属事件:OpenAI 推翻 Erdős–Simonovits 图论猜想(2 条相关)→
「研究」频道最新
- Mandelbrot 集拼图结构在 Lean 中完成形式化计算,实拍级图表曝光 — geoffreyirving · 2026-10-28
- Geoffrey Irving 对 CSETH 突破给出 >80% 概率预测 — geoffreyirving · 2026-10-28
- 抗衰研究数据荒:Norn 募资 1500 万美元为 AI 备好训练数据 — juanbenet · 2026-10-28
- 研究员自曝置信度乌龙:把 SETH 当 CSETH,重估 P vs NP 赔率 — geoffreyirving · 2026-10-28
- Google 论文指出 softmax 标准实现藏两个数值 bug,引发形式验证讨论 — srush_nlp · 2026-10-28
- AI 提出的研究题 45/135 获专家认可有趣,覆盖数学物理等 — StanfordAILab · 2026-10-28