OpenAI模型破解80年数学难题：AI首次发现Erdős猜想反例，数学家集体震惊

核心看点

OpenAI的模型又搞了个大新闻——它发现了一个存在80年的数学猜想的反例。这个Erdős猜想自1946年提出以来，无数数学家尝试破解都未果，现在被AI找到了突破口。

详细解析

事情是这样的：OpenAI的研究人员Alex Wei、Hongxun Wu和Jiarui Mao在播客中分享了整个发现过程。他们的模型在分析这个已有80年历史的数学问题时，意外找到了一个反例——直接推翻了一个长期存在的猜想。

这不是AI第一次涉足数学领域，但这次的特殊性在于：

• 真正的原创发现：不是验证已知结论，而是发现人类数学家80年都没找到的反例
• 人机协作模式：模型提供洞察，数学家验证和解释，形成了新的研究范式
• 跨领域能力：展示了AI在纯数学这种高度抽象领域的潜力

OpenAI官方在X平台上发文称：”当我们的一个模型发现了对一个已有80年历史的Erdős猜想的反例时，发生了什么？”这条推文获得了超过1300个赞和23万次观看，引发了学术界的广泛讨论。

更深层的意义

这件事的意义不止于解决一个具体数学问题。它证明了AI在创造性思维方面的潜力——不是简单的模式匹配，而是能在高度抽象的领域产生真正的洞见。

对数学界来说，这可能是一个转折点。传统数学研究依赖个人的直觉和灵感，周期往往很长。AI的介入可以大幅加速探索过程，帮助人类数学家快速筛选假设、发现反例、验证猜想。

OpenAI同时还在推进其他重大计划：与Jony Ive合作开发无屏幕语音AI硬件、测试ChatGPT广告平台、年化营收突破200亿美元。这次数学突破进一步巩固了其在AI研究领域的领先地位。

总结

AI发现80年数学猜想的反例，不是终点而是起点。它预示着人机协作科研新时代的到来——AI负责探索和发现，人类负责理解和验证。对于OpenAI来说，这不仅是技术实力的展示，更是其”确保通用人工智能造福全人类”使命的又一次实践。