OpenAI 宣布攻克 80 年数学难题 AI 首次自主证明 Erdős 开放问题

OpenAI 称其全新通用推理模型推导出原创数学证明，推翻了保罗・埃尔德什 1946 年提出的著名几何学未解猜想，该模型并非专门为解决数学问题打造。此次被认为是人工智能首次自主攻克数学核心领域重大未解难题，多位数学家包括诺加・阿隆、梅兰妮・伍德及托马斯・布鲁姆提供佐证。OpenAI 认为这表明 AI 已具备梳理复杂逻辑推理链条及跨学科知识关联的能力，将对多领域产生深远影响。此前该公司前副总裁曾因称 GPT-5 解开埃尔德什难题但实为引用现成解法遭同行嘲讽。