AI 为 Erdős–Sós 猜想给出简洁证明

数学家 Thomas Bloom 透露，OpenAI 的 Astra 模型数周前为图论中一度被认为非常困难的 Erdős–Sós 猜想给出了一个「惊人简洁」的证明。研究者将其视为「AI 证明生命周期」的标志性案例，并引发关于人类研究者角色的讨论：人类的工作重心或将转向解读和验证 AI 的数学发现。

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

• AI 给出 Erdős–Sós 猜想极简证明，人类转向「解读 AI 发现」 — alejandroll10 · 2026-09-24
• AI 给出 Erdős-Sós 猜想简洁证明，引发研究者角色之辩 — soumitrashukla9 · 2026-09-24