OpenAI 推翻 Erdős–Simonovits 图论猜想

开发者 ctjlewis 在 X 上分享：OpenAI 在其「千禧年难题」相关工作之前，就已推翻 Erdős 与 Simonovits 关于 r-退化图 Turán 数的猜想，并将结果推广到所有 r≥2 的情形。值得注意的是，ctjlewis 自称不懂数学，却借助 AI 完成了这一推广，此事也引发了对 AI 辅助数学研究能力的关注。

2026-09-12 ~ 2026-09-12 · 2 条相关

• 开发者称用 OpenAI 推广 Erdős 猜想证明至所有 r≥2 情形 — ctjlewis · 2026-09-12

另有 1 条近重复转述:ctjlewis