OpenAI 声称已解决一道 80 年前的数学难题——这次是真的
内容摘要
OpenAI 宣布其最新的通用推理模型成功解决了一个源自 1946 年、由 Paul Erdős 提出的著名数学猜想。与该公司此前未经证实的数学突破声明不同，此次证明得到了 Noga Alon、Melanie Wood 和 Thomas Bloom 等著名数学家的背书。该模型发现了一系列全新的构造方式，推翻了“最优解应类似于方形网格”的长期学术认知。这一进展被视为重要里程碑，表明人工智能现在能够自主完成复杂的长链推理，并有望在生物学、物理学及工程学等领域产生深远影响。
(来源：TechCrunch)