AI 证明数学猜想，这次来真的了。 OpenAI 最新模型 GPT-5.2 Pro 刚刚独立证明了一道埃尔德什猜想。 论证过程经菲尔兹奖得主陶哲轩验证成立，还被评价为"迄今为止最明确的第一类结果（AI 主要贡献）"。 这道题是埃尔德什问题库中的第 281 号，由传奇数学家保罗 · 埃尔德什（Paul Erd ő s）与罗纳德 · 格雷厄姆（Ronald Graham）于 1980 年共同提出，涉及同余覆盖系统与自然密度的深层关系。 45 年来，这道题一直静静躺在问题库里，等待解答。 直到 20