数学家和 AI 研究者会兴奋——AI 首次自主攻克了 80 年悬而未决的数学难题，证明了 AI 在数学发现中的潜力，值得所有关注 AI 与科学交叉领域的人点开。
OpenAI 宣布其 AI 模型自主解决了平面单位距离问题，这是一个由 Paul Erdős 于 1946 年提出的著名开放问题。近 80 年来，数学家们认为最优解大致是方形网格结构，但 OpenAI 模型发现了一种全新的构造方式，性能更优。这是 AI 首次自主解决一个数学领域的核心开放问题，标志着 AI 在数学研究中的重大突破。
proof too complicated, Claude help ELI5
proof too complicated, Claude help ELI5 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 💬 3 🔄 0 ❤️ 1 👀 966 📊 3 ⚡