OpenAI破解80年数学难题取得重大突破
OpenAI宣布其通用推理模型自主推翻了1946年提出的几何猜想，首次由AI解决核心数学难题。公司此次发布附有数学家联名评述以论证严谨性，强调模型发现了优于传统方案的新构造。这体现了AI在长链条推理与跨领域连接上的进步，可能推动多学科新发现，并引发对AI原创科学发现能力的深入讨论。
近日，OpenAI宣布其最新研发的通用推理模型自主提出了一条原创数学证明，成功推翻了一项自1946年由著名数学家保罗·埃尔德什提出、悬而未决的几何学猜想。OpenAI强调，这是人工智能首次独立解决一个在特定数学领域处于核心地位的著名公开难题。值得关注的是，多位参与评估的数学家也认为，此次成果在论证严谨性上值得认可。
然而，这并非OpenAI首次高调宣布“AI攻克埃尔德什难题”。大约七个月前，该公司时任副总裁凯文·维尔曾在社交平台X上发文称，“GPT‑5找到了10个此前未解的埃尔德什问题的解，并在另外11个问题上取得进展”。但随后风波骤起——有研究者指出，模型所提出的“解”其实早已存在于数学文献中，GPT‑5只是从已有成果中“检索”出来，并非真正意义上的新发现。在Google DeepMind首席执行官德米斯·哈萨比斯以及杨立昆等同行专家的质疑声中，维尔最终删除了这条被批评为“表述夸大”的帖子。
或许正是基于这段前车之鉴，OpenAI在本次成果发布中显得格外审慎。公司在公布突破的同时，同步公开了一份由多位数学家联名撰写的“补充评述”文件，旨在从学术同行评议的角度论证该项几何猜想被推翻的严谨性与可靠性。联署数学家包括诺加·阿隆、梅兰妮·伍德以及托马斯·布卢姆等人。其中，布卢姆长期维护“埃尔德什问题”专题网站，曾在上一轮风波中批评维尔的言论“构成一种极具戏剧性的误导”，而此次则转为OpenAI站台，公开为新证明提供学术背书。
OpenAI在X上总结了这一突破的核心内容：近80年来，数学界普遍认为该类问题的最优构造应近似于“方形网格”；而他们的新推理模型发现了一族完全不同的构造方式，其在性能上显著优于传统方格方案，从而推翻了长期占据主导地位的学术直觉。关键之处在于，按照OpenAI的说明，这一成果出自一个通用推理模型，而非专门为数学证明设计的专用系统，也并未针对这道几何难题进行“定制化训练”。
这一成果的意义显然超越了单一数学命题。它更清晰地体现了当前先进AI系统在“长链条逻辑推理”与“跨领域概念连接”能力上取得的实质性进展。通过在复杂的解空间中进行系统性探索，尝试那些人类研究者尚未系统挖掘或未曾设想的构造路径，此类模型有望在生物学、物理学、工程学及药物研发等多个科学领域催生新的发现。换言之，AI的角色正在发生演变——它不再仅仅是验证既有证明或检索文献的辅助工具，而开始尝试在“提出全新结构框架与解题思路”方面扮演更为主动的角色。
正如托马斯·布卢姆在一份声明中所比喻的，人工智能正在帮助人类“更充分地探索我们几百年来共同建造的数学大教堂”。他随之抛出一个引人深思的问题：“还有多少未被看见的奇迹，正静静等待登场？”在“AI能否真正做出原创性科学发现”的学术争论尚未平息之际，这次经过数学界严格审查并获得认可的几何猜想反例，很可能成为后续相关讨论中的一个重要参照案例。
你是一名 AI 行业编辑，请围绕下面这条热点输出一份资讯解读：
热点：OpenAI破解80年数学难题取得重大突破要求：
1. 先用一句话解释这条热点在讲什么
2. 再总结它为什么重要
3. 说明会影响哪些 AI 产品或内容方向
4. 最后给出 3 个适合资讯站使用的标题
游乐网为非赢利性网站，所展示的游戏/软件/文章内容均来自于互联网或第三方用户上传分享，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系youleyoucom@outlook.com。
相关热点DiffusionLogoStudio是一款面向个人创业者、小型企业主和创业公司的AI工具，无需设计知识即可生成独特、可商用的品牌标识。它支持Logo定制、无限可伸缩、添加文字及模拟场景预览，低成本解决传统设计成本高、易撞脸的问题。
Stratup ai是一款基于人工智能的创业点子生成与探索工具，面向创业者、企业家和投资者。它能发现商业创意、分析市场需求与竞争格局，生成包括市场规模、风险评估在内的详细报告，辅助商业决策，将创意转化为系统流程。
猫眼是一套基于人工智能的校园反欺凌系统，通过分析音频与视频信号实时检测言语威胁和肢体冲突，秒级向教职工发送警报，将被动监控升级为主动防御，助力学校及时干预欺凌事件。
SAP推出商业智能AI助手Joule，将生成式AI嵌入企业工作流，覆盖HR、财务、供应链等领域。能撰写招聘广告、分析销售业绩、提供供应链改善方案并自动联系系统，核心特色是理解业务语境，提供情景化建议并协助完成日常工作。
- 日榜
- 周榜
- 月榜
热点快看