一个 OpenAI 模型推翻了一个长期存在的数学猜想，这标志着先进 AI 系统在科学研究中的应用已超越文本生成和编码任务，成为一个值得注意的示例。

罕见的数学突破

这一结果表明 AI 模型正在为一个通常被视为检验人类推理能力的领域做出贡献：纯数学。模型不仅仅是在协助计算或模式匹配，而是能够识别出一个存在多年的猜想中的错误，推翻了通过传统方法无法解决的假设。

这一进展凸显了 AI 工具在研究应用方式上的转变。由 OpenAI 构建的系统越来越多地被用于需要持续逻辑推理的任务，这一案例表明它们可以在推进数学知识方面发挥直接作用。

超越自动化

尽管 AI 在软件开发和数据分析中已很常见，但这个例子指向了一个更为雄心勃勃的使用场景。推翻一个数学猜想并非常规的自动化任务；它需要探索复杂的关系、测试边界情况，并识别出看似合理的命题何时不成立。

这使得该结果对于关注大型语言模型和推理系统进展的研究者特别重要。它也补充了一系列证据，表明 AI 开始对科学发现做出贡献，而不仅仅是帮助人类更快地处理信息。

这项工作并不意味着 AI 已经取代了数学家。但它表明模型正变得有能力在曾被认为远超其能力范围的领域中发现洞见。对于 OpenAI 而言，该结果为其模型在高层次研究中的实际价值提供了一个引人注目的例子；对于数学界，这是一个提醒，即即便是长期存在的猜想，也可能被新型工具所推翻。

来源：