DeepMind 用 AI 挑战 700 道数学难题，结果有一题题干是错的，AI 还硬写了数十页证明

顶级AI撞上低级乌龙：连写几十页推导，结果发现题干错了？

Google DeepMind 搞了个叫 Aletheia 的流程，拿 Gemini Deep Think 去啃 700 道 Erdős 数学猜想。流程是先让模型生成 200 个候选答案，再用验证器筛到 63 个，最后产出 13 个原创解答。乌龙出在 Erdős-75 这道题上：题干本身就有问题，但 Aletheia 没发现，照样洋洋洒洒推导了几十页。...

推荐理由：我会先打个折：文章本身是媒体转述，原始论文细节得去看 arXiv，正文没披露验证器的具体设计和人类专家的复核标准。但选题确实抓人——一个题干有误的 Erdős-75 问题，AI 照样输出几十页证明，这比单纯报 benchmark 分数更能让人停下来想一下推理可靠性。700 个问题、13 个原创答案、200 到 63 的筛选管线，这些数字把流程讲清楚了，不是空泛的“AI 做数学”。对从业者来说，验证器能筛掉什么、筛不掉什么，才是真正关心的，文章至少把这个问题摆到了台面上。