@AYi_AInotes· @ayi_ainotes · X·· 2026-05-21精选AI 评分69
AI 导读
AI 处理数学问题的思维链长达125页，大部分时间用于构造反例，而非死磕证明，OpenAI 目前已公开精简版。数学家 Gowers 在审稿中表示，评估 AI 生成证明的重要性时他会问它是否教给我们关于这个问题的新东西，他认为答案是肯定的，这显示代数数论在离散几何里还有大量我们从未发现的连接。
推荐理由
材料点出 AI 解题的思维链长达125页且多在构造反例，并附上数学家 Gowers 的审稿评价，可看到 AI 参与数学研究的实际形态。
正文
补充一个细节:
AI的思维链长达125页，大部分时间在构造反例而不是死磕证明，我觉得这是一种非常像人类顶尖数学家的直觉方式，目前OpenAI公开了精简版，有兴趣的可以去看。
另外值得关注的是数学家Gowers在审稿论文里说了一句很有余味的话:
"当评估AI生成证明的重要性时，我问自己的问题是——这有没有教我们一些关于这个问题的新东西？
我觉得是，它告诉我们，代数数论在离散几何里还有大量我们从未发现的连接。"
来源：@AYi_AInotes · x.com