搜索
OpenAI 宣布攻克 80 年数学难题 AI 首次自主证明 Erdős 开放问题
3 小时前
OpenAI宣布，其新推出的通用推理模型成功推导出原创数学证明，推翻了保罗・埃尔德什1946年提出的著名几何学猜想。值得注意的是，该模型并非专为解决数学问题而设计。此次突破被视为人工智能首次独立攻克数学核心领域的重大未解难题，得到了诺加・阿隆、梅兰妮・伍德及托马斯・布鲁姆等多位数学家的证实。OpenAI表示，这证明了AI已具备梳理复杂逻辑推理及跨学科知识关联的能力，有望对多个领域产生深远影响。此前，OpenAI前副总裁曾声称GPT-5解开了埃尔德什难题，但实为引用现成解法，遭到了同行的嘲讽。
