OpenAI 新推理模型解决 80 年几何难题

Techub News 消息，据 TechCrunch 报道，OpenAI 声称其新推理模型产生了原创数学证明，推翻了数学家 Paul Erdős 于 1946 年提出的著名几何猜想。该模型发现了全新的构造方法，其性能优于数学家近 80 年来认为的方形网格最优解。 这一证明标志着人工智能首次自主解决数学领域的著名开放性问题。OpenAI 指出，该成果来自通用推理模型而非专门的数学系统，表明 AI 能够维持长时间、复杂的推理链条，并以研究人员可能未曾探索的方式跨领域连接概念，这对生物学、物理学、工程学和医学等领域具有深远意义。