OpenAI模型推翻80年的数学经典猜想，引发学界震动
OpenAI最近放出了一个重磅消息：他们的AI推理能力又往前迈了一大步，这回直接推翻了一个困扰数学界整整80年的猜想——也就是匈牙利数学家保罗·埃尔德什在1946年提出的“平面单位距离问题”。 问题的核心其实挺直观的：假设你在纸上随便画一些点，那么在这些点之间，最多能有多少对点之间的距离恰好等于1？
OpenAI最近放出了一个重磅消息：他们的AI推理能力又往前迈了一大步，这回直接推翻了一个困扰数学界整整80年的猜想——也就是匈牙利数学家保罗·埃尔德什在1946年提出的“平面单位距离问题”。
问题的核心其实挺直观的：假设你在纸上随便画一些点，那么在这些点之间，最多能有多少对点之间的距离恰好等于1？埃尔德什本人已经证明，如果把点按照网格形状排列，能得到相当多的单位距离点对。他进一步推测，这差不多就是极限了——其他任何排列方式，都不可能比网格好太多。
几十年来，数学家们一直在试图证明这个猜想是对的。但OpenAI的模型给出了一个完全不同的结论：它找到了一种排列方式，单位距离点对的数量居然超过了埃尔德什当初预测的“理论上限”。换句话说，它不是证明了猜想，而是直接把它推翻了。
这个证明的完整推导过程极其庞大。即便经过大幅精简，最终版本仍然超过75,000个单词——差不多跟《哈利·波特与魔法石》整本书一样厚。
据《华尔街日报》报道，法兰西学院教授、菲尔兹奖得主蒂莫西·高尔斯对此评价颇高。他说，如果这是一篇由人类撰写的论文，投稿到顶尖数学期刊《Annals of Mathematics》，而他被要求快速给出评审意见，他会毫不犹豫地建议接受发表。他甚至补充了一句：“就算AI今后不再变得更聪明，我们也已经进入了一个新时代。人类将越来越难在数学问题的求解能力上与AI竞争。”
普林斯顿大学的数学教授诺加·阿隆也直言：“AI在这里做到了许多优秀研究者尝试多年却始终无法做到的事。”
英国数学家托马斯·F·布鲁姆是埃尔德什问题库的维护者，他之前曾公开批评过OpenAI关于埃尔德什问题的某些声明。但这一次，他的态度明显不同。布鲁姆在一篇文章中解释说，AI之所以能获得这个成果，很大程度上是因为它愿意坚持探索那些人类研究者通常觉得“不值得继续投入时间”的方向。当然，他也强调了人类研究者在整个过程中的参与和引导。
回头来看，短短几年前，最先进的AI模型连基础数学题都做不好。到了去年，它们已经能在国际数学奥林匹克竞赛中拿到金牌。而现在，它们竟然能推翻一个经典数学猜想。这个节奏，确实让人有点恍惚。
OpenAI的研究团队分析说，这个解答方案极其反直觉，以至于过去绝大多数数学家都默认埃尔德什的猜想是正确的，于是大家一直在试图证明它。AI没有这种心理包袱，它会尝试大量看似荒谬的方向——而最终，突破口恰恰就藏在那些“荒谬”的尝试里。
还有一个有意思的细节：人类数学家通常专注于自己熟悉的领域，但AI同时掌握着大量不同学科的知识。在这次解答中，模型把代数数论和离散几何这两个领域结合了起来。研究人员的形容很形象——这两个领域之间的关系，大概就像马拉松和撑杆跳一样遥远，但AI却能轻松地跨界连接它们。
那么，AI会不会让数学家失业？OpenAI研究团队的观点是：不会。相反，它会扩大人类探索未知的能力。事实上，已经有数学家开始借鉴这次成果中用到的方法，去攻克其他长期悬而未决的问题。
“我们还没有看到那种足以与人类历史上最伟大的证明相提并论的天才火花。”OpenAI研究员塞巴斯蒂安·布贝克说，不过有一点越来越清晰——AI已经完全有能力推动真正的科学发现。
正软商城本月促销专区，汇集办公、设计、安全、影音、系统工具及AI软件等正版软件优惠活动，提供限时折扣、特价授权和优惠购买信息，活动库存及价格以页面实时展示为准。
正软商城装机必备专区，精选办公、浏览器、安全防护、影音播放、压缩解压、设计创作和系统工具等电脑常用正版软件，帮助用户快速完成新电脑软件配置。
正软商城Windows软件专区，汇集适用于Windows电脑的办公、设计、安全防护、影音播放、开发工具和系统优化软件，提供软件介绍、系统要求、正版授权及购买下载服务。
正软商城macOS软件专区，精选适用于Mac电脑的办公、设计、影音、效率、开发和系统工具，提供软件功能介绍、macOS兼容版本、正版授权及购买下载服务。
正软商城iOS软件专区，精选适用于iPhone和iPad的办公、学习、影音、设计、效率及AI应用，提供功能介绍、适用设备、系统要求和正版获取方式等信息。
正软商城AI软件专区，汇集AI写作、AI绘画、AI视频、AI办公、AI编程、AI翻译、智能客服和数据分析等人工智能工具，提供功能介绍、适用平台、收费方式及正版购买信息。
正软商城PDF教程频道提供PDF编辑、转换、合并、拆分、压缩及格式处理方法，同时介绍常用PDF软件和工具的使用技巧。
赤友清理大师是一款为 Mac 设计的智能清理优化工具，可精准扫描垃圾、大文件、重复文件等，释放磁盘空间。做扫描整理、文字提取和表格转换时，它能把识别后的处理步骤接得更顺，资料录入这类场景会省下不少时间。
极度公式是一款跨平台专业LaTeX公式识别编辑软件，支持OCR公式识别和多平台编辑。和使用说明，避免使用，享受完整功能与稳定支持。做扫描整理、文字提取和表格转换时，它能把识别后的处理步骤接得更顺，资料录入这类场景会省下不少时间。
一款文字处理软件，一种订阅式的跨平台办公软件，基于云平台提供多种服务，通过将 Excel 和 Outlook 等应用与 OneDrive 和 Microsoft Teams 等强大的云服务相结合，Office 365 可让任何人使用任何设备随时随地创建和共享内容。
CodeExpander 是一款快捷短语输入增强工具，通过键入缩写自动展开为自定义文段，提升工作效率。任务管理和过程控制会更完整，持续下载、批量同步或需要稳定传输流程的场景会更适合它。
Mountain Duck 是一款能将多个网盘挂载到本地的工具，像本地磁盘一样使用网盘。清理链路的完整性会更好一些，做应用卸载、残留处理和空间整理时，通常能少走很多手动排查步骤。
极度公式是一款跨平台专业LaTeX公式识别编辑软件，支持OCR公式识别和多平台编辑。和使用说明，避免使用，享受完整功能与稳定支持。做扫描整理、文字提取和表格转换时，它能把识别后的处理步骤接得更顺，资料录入这类场景会省下不少时间。
一款文字处理软件，一种订阅式的跨平台办公软件，基于云平台提供多种服务，通过将 Excel 和 Outlook 等应用与 OneDrive 和 Microsoft Teams 等强大的云服务相结合，Office 365 可让任何人使用任何设备随时随地创建和共享内容。
Wise Folder Hider Pro 是一款专业级文件和文件夹隐藏加密软件，为私密数据添加多重保护。高频操作更强调就近处理，浏览、整理和跨目录移动文件时，来回切换和重复点击都会少很多。
CodeExpander 是一款快捷短语输入增强工具，通过键入缩写自动展开为自定义文段，提升工作效率。任务管理和过程控制会更完整，持续下载、批量同步或需要稳定传输流程的场景会更适合它。
Mountain Duck 是一款能将多个网盘挂载到本地的工具，像本地磁盘一样使用网盘。清理链路的完整性会更好一些，做应用卸载、残留处理和空间整理时，通常能少走很多手动排查步骤。
