OpenAI破解80年数学难题取得重大突破
近日，OpenAI宣布其最新研发的通用推理模型自主提出了一条原创数学证明，成功推翻了一项自1946年由著名数学家保罗·埃尔德什提出、悬而未决的几何学猜想。OpenAI强调，这是人工智能首次独立解决一个在特定数学领域处于核心地位的著名公开难题。值得关注的是，多位参与评估的数学家也认为，此次成果在论证严谨性上值得认可。
然而，这并非OpenAI首次高调宣布“AI攻克埃尔德什难题”。大约七个月前，该公司时任副总裁凯文·维尔曾在社交平台X上发文称，“GPT‑5找到了10个此前未解的埃尔德什问题的解，并在另外11个问题上取得进展”。但随后风波骤起——有研究者指出，模型所提出的“解”其实早已存在于数学文献中，GPT‑5只是从已有成果中“检索”出来，并非真正意义上的新发现。在Google DeepMind首席执行官德米斯·哈萨比斯以及杨立昆等同行专家的质疑声中，维尔最终删除了这条被批评为“表述夸大”的帖子。
或许正是基于这段前车之鉴，OpenAI在本次成果发布中显得格外审慎。公司在公布突破的同时，同步公开了一份由多位数学家联名撰写的“补充评述”文件，旨在从学术同行评议的角度论证该项几何猜想被推翻的严谨性与可靠性。联署数学家包括诺加·阿隆、梅兰妮·伍德以及托马斯·布卢姆等人。其中，布卢姆长期维护“埃尔德什问题”专题网站，曾在上一轮风波中批评维尔的言论“构成一种极具戏剧性的误导”，而此次则转为OpenAI站台，公开为新证明提供学术背书。
OpenAI在X上总结了这一突破的核心内容：近80年来，数学界普遍认为该类问题的最优构造应近似于“方形网格”；而他们的新推理模型发现了一族完全不同的构造方式，其在性能上显著优于传统方格方案，从而推翻了长期占据主导地位的学术直觉。关键之处在于，按照OpenAI的说明，这一成果出自一个通用推理模型，而非专门为数学证明设计的专用系统，也并未针对这道几何难题进行“定制化训练”。
这一成果的意义显然超越了单一数学命题。它更清晰地体现了当前先进AI系统在“长链条逻辑推理”与“跨领域概念连接”能力上取得的实质性进展。通过在复杂的解空间中进行系统性探索，尝试那些人类研究者尚未系统挖掘或未曾设想的构造路径，此类模型有望在生物学、物理学、工程学及药物研发等多个科学领域催生新的发现。换言之，AI的角色正在发生演变——它不再仅仅是验证既有证明或检索文献的辅助工具，而开始尝试在“提出全新结构框架与解题思路”方面扮演更为主动的角色。
正如托马斯·布卢姆在一份声明中所比喻的，人工智能正在帮助人类“更充分地探索我们几百年来共同建造的数学大教堂”。他随之抛出一个引人深思的问题：“还有多少未被看见的奇迹，正静静等待登场？”在“AI能否真正做出原创性科学发现”的学术争论尚未平息之际，这次经过数学界严格审查并获得认可的几何猜想反例，很可能成为后续相关讨论中的一个重要参照案例。
相关攻略
谷歌I O发布Antigravity2 0，从AI增强IDE转型为任务导向编程助手，对标ClaudeCode等工具。新版简化界面，支持对话分派任务与多模型切换，但在权限管理、撤销功能等细节上仍有欠缺，体验未臻成熟。虽展现向AI工作台转型的决心，欲挑战市场领先地位仍需实际打磨。
OpenAI宣布其通用推理模型自主推翻了1946年提出的几何猜想，首次由AI解决核心数学难题。公司此次发布附有数学家联名评述以论证严谨性，强调模型发现了优于传统方案的新构造。这体现了AI在长链条推理与跨领域连接上的进步，可能推动多学科新发现，并引发对AI原创科学发现能力的深入讨论。
消息称 OpenAI 股东考虑换掉奥尔特曼：精力放在“副业”上，能否带领公司上市 OpenAI的董事会和股东们，似乎又走到了一个熟悉的十字路口。据《华尔街日报》最新报道，部分投资者正在重新审视一个核心问题：将越来越多精力分散于各类“副业项目”的山姆·奥尔特曼，究竟还是不是带领公司走向上市的最佳人选？
近日，英伟达CEO黄仁勋向OpenAI首席执行官萨姆·奥特曼发送的一封内部邮件在科技界引发广泛关注。邮件中，黄仁勋详细分享了英伟达在公司内部全面推广OpenAI Codex人工智能编程工具的进展与规划。他特别指出，基于前沿的GPT-5 5大模型技术，OpenAI Codex现已正式面向英伟达全体员工
OpenAI推出双重图像溯源举措，采用C2PA元数据标准为AI生成图片添加标识，并引入谷歌SynthID隐形水印技术以增强抗篡改能力。目前该方案仅适用于其自家产品，同时提供了初期核验工具用于检测两种标识。两项技术互补结合，旨在提升溯源信息的可靠性与鲁棒性。
热门专题
热门推荐
人工智能正改变表格合并方式，大幅提升数据处理效率。例如，某电商平台借助AI将处理时间从48小时缩短至2小时，并减少人工错误。调查显示，超七成企业已部署AI工具且效率显著提升。AI不仅节约成本，还推动决策更科学。未来需在效率与数据安全间寻求平衡。
在数据爆炸时代，AI正为传统表格处理带来变革。通过自动生成图表、快速分析趋势等功能，AI显著提升了数据处理效率。然而，数据安全与隐私风险仍是企业关注的核心挑战。未来，表格将趋向智能化与自适应，成为更高效、用户友好的分析工具，为企业创造新的机遇。
AI技术正深度改变表格处理领域，通过自动化数据整理、智能预测分析和增强实时协作显著提升效率。然而，数据隐私安全与算法“黑箱”问题仍是主要挑战。企业需优先考虑数据保护与算法透明度，未来结合自然语言处理的新一代工具将进一步简化表格工作，带来更多可能性。
AI工具显著提升了表格制作效率与数据呈现效果。它能通过自然语言生成框架、自动分析趋势，将原本耗时的手工流程大幅压缩。不同工具各有侧重，需结合实际需求选择。未来，AI将与深度分析更紧密结合，实现智能洞察输出。主动拥抱技术革新，才能提升数据竞争力。
人工智能正革新表格处理，通过OCR与自然语言技术自动识别提取数据，大幅提升录入效率。实践显示，AI在订单处理等重复任务中效果显著，减轻人力负担。未来需兼顾数据安全与工具易用性，推动人机协同——AI负责规则性工作，人类聚焦创造性决策。