数学家和 AI 研究者会震惊——AI 首次自主推翻了一个 80 年的数学猜想，做理论数学或 AI 推理的团队值得关注这个新范式。
OpenAI 宣布其 AI 模型在平面单位距离问题上取得突破，该问题由数学家 Paul Erdős 于 1946 年提出，近 80 年来数学家认为最优解近似于正方形网格。AI 模型自主发现了一类全新的构造，性能更优，推翻了这一长期信念。这是 AI 首次独立解决一个数学领域的著名开放问题，标志着 AI 在数学研究中的里程碑。
Today, we share a breakthrough on the planar unit distance problem, a famous open question first pos...
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 💬 51 🔄 78 ❤️ 556 👀 22702 📊 117 ⚡