AI破解埃尔德什数学难题,陶哲轩:科学进步新标志
创始人
2026-01-18 13:25:01
0

1月18日,Eclipse创始人Neel Somani宣布,他利用GPT-5.2Pro人工智能模型破解了另一个著名的埃尔德什难题。数学家陶哲轩认为,GPT-5.2Pro在至少一个埃尔德什问题上几乎独立完成了解答过程,这可能是AI解决开放问题的最明确案例。OpenAI总裁格雷格·布罗克曼对此表示,这是数学与科学进步的一大标志。

GPT-5.2Pro是OpenAI于2025年发布的最新高级模型系列之一,其定位是针对专业复杂任务提供更强推理、结构化输出能力的工具。OpenAI官方文档指出,GPT-5.2系列在科学与数学任务方面有显著进步,能够生成详细结构化论证,并探索假设与证明方向,但依然需要人类专家对结果进行校验。这一过程强调的是AI在“草拟证明与快速反复修改数学文本”方面的能力,而不仅仅是检索已有文献的结果。

陶哲轩同时表示,这类解答的意义应当谨慎理解,因为多数学术问题的难度各不相同,且仅有少量开放问题适合用现有工具在有限人类指导下完成。埃尔德什问题源于已故匈牙利数学家保罗·埃尔德什,他提出过数百个开放问题,涵盖组合数学、数论等多个领域。这些问题中既有极难的深度猜想,也有长期未被研究的较易问题。

相关内容

热门资讯

特斯拉得州锂精炼厂投产,北美首... 1月18日,特斯拉宣布其位于得克萨斯州的锂精炼厂正式投产,这是公司在美国电池供应链布局中的关键一步。...
“鸿蒙智行大饭店”免费福利终结... 近日,华为常务董事余承东曾在社交媒体上赞扬的“鸿蒙智行大饭店”在五个月内宣告结束。鸿蒙智行通知所有用...
岚图汽车产能升级:40秒下线一... 近日,岚图汽车启动2026年产能改造升级项目,旨在提升云峰工厂核心产线,目标是实现每小时60台整车下...
谷歌AI新宠“NanoBana... 1月18日,谷歌官方披露了“NanoBanana”AI生图模型的命名故事。去年7月,谷歌团队在对Ge...
蔚来ES8销量破5万,40万以... 1月18日,蔚来汽车宣布全新ES8交付量突破50,000台,仅用120天时间。作为一款起售价超40万...
蔚来ES8交付破5万!纯电SU... 1月18日,蔚来宣布全新ES8纯电SUV在正式开启交付后的第120天,成功交付突破50,000台。全...
履职担当获肯定!一图速览202... 1月18日上午,广州市政协十四届五次会议开幕。大会对28名2025年度履职优秀市政协委员予以表扬,希...
以下是一些改写“回应民生关切”... 回应民生关切是政府工作的重要使命。通过加强政策调研,精准把握民众需求,制定切实可行的举措。在教育方面...
理想汽车2025年辅助驾驶里程... 今日,理想汽车发布了2025年出行报告,揭示了理想辅助驾驶系统的使用情况和用户活跃度。报告显示,理想...
青年有韧性,社会有力量(青年观... 前不久,曾因面对“天崩开局”不服输、“逆天改命”感动无数网友的庞众望,入选清华大学2025年学生年度...