引用OpenAI (@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. Video
推荐理由：OpenAI 模型推翻了数学界近 80 年的判断，可作为观察 AI 自主数学发现能力的一个参照。