OpenAI称已解决了一道存在80年的数学难题via cnBeta全文版

OpenAI近日表示，其最新通用推理模型自主给出了一条原创数学证明，推翻了一项自1946年由著名数学家保罗·埃尔德什（Paul Erdős）提出、悬而未决的几何猜想。 OpenAI称，这是人工智能首次自主解决一项在某一数学领域中居于核心地位的著名公开难题，而参与背书的多位数学家也认为，这一次并非虚惊一场。 值得注意的是，这并非OpenAI首次在“AI攻克埃尔德什难题”上高调发声。 大约七个月前，该公司时任副总裁凯文·维尔（Kevin Weil）曾在社交平台X上发文称，“GPT‑5找到了10个此前未解的埃…