AI 构造反例推翻 80 年数学猜想

OpenAI 的一个**通用推理模型**构造出反例，推翻了数学家埃尔德什(Paul Erdős)1946 年提出的平面单位距离猜想——一个悬而未决 80 年的离散几何内核问题。此事在数学界引发震动：加拿大数学家 Daniel Litt 称其为「AI 自主产出的第一个我认为本身有意思的结果」。

值得玩味的是数学家 Timothy Gowers 的反应：他起初以为 AI 完成了证明，担忧人类数学家将被取代；得知实为**构造反例**后反而松了一口气。这一进展显示，AI 对数学的贡献不只是辅助验证，还能通过大规模搜索与结构探索，发现训练有素的人类长期未能察觉的反例。

💡 为什么值得看AI 首次产出获数学家认可的成果，或重塑数学研究格局。