数学家和AI研究者会震惊——AI第一次独立解决了困扰人类80年的核心猜想，这不仅是数学的突破，更是AI推理能力的质变，值得所有关注AI前沿的人点开。
OpenAI的一个模型在数学领域取得重大突破，自主推翻了一个自1946年由Paul Erdős提出的离散几何核心猜想——平面单位距离问题。近80年来，数学家们一直认为最优解近似于方形网格，但该模型发现了一类全新的、表现更优的构造。这是AI首次自主解决一个数学领域的著名开放问题，标志着AI在数学研究中的里程碑式进展。
An OpenAI model has achieved a major breakthrough in mathematics, by disproving a central conjecture...
An OpenAI model has achieved a major breakthrough in mathematics, by disproving a central conjecture in discrete geometry that was first posed by Paul Erdős in 1946. This is the first time AI has autonomously solved a prominent open problem central to a field of mathematics. OpenAI @OpenAI Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids. An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better. This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics. Your browser does not support the video tag. 🔗 View on Twitter 🔗 View Quoted Tweet 💬 42 🔄 21 ❤️ 371 👀 34436 📊 63 ⚡