AI辅助证明推翻Erdős图论经典退化度猜想

近期一篇论文草稿显示，AI辅助的数学证明取得重大突破，成功推翻了著名的Erdős-Simonovits退化度猜想。该研究指出，这一图论经典难题中的猜想对于所有r大于等于2的情况全部失效。这标志着AI在解决复杂数学理论问题方面迈出了重要一步。

2026-08-02 ~ 2026-08-04 · 2 条相关

• AI辅助证明推翻Erdős猜想，图论经典难题被破解 — ctjlewis · 2026-08-02
• 论文草稿称 Erdős–Simonovits 退化度猜想在 r≥2 全部失效 — ctjlewis · 2026-08-04