這篇新聞的重點很清楚:OpenAI says an internal reasoning model disproved the long-held belief around the unit-distance problem by proving a construction with n^(1+δ) pairs for some fixed δ > 0.
細節上,The important part is not only the result, but the route: a geometry problem was attacked with algebraic number theory, and a nine-person external panel including Tim Gowers, Noga Alon and Thomas Bloom reviewed the work.
後續要觀察的是,OpenAI also published the proof, a companion review paper and a compressed reasoning trace, trying to show the result was not a memorized answer but a genuine cross-domain derivation.
參考來源: An OpenAI model has disproved a central conjecture in discrete geometry(OpenAI官方), OpenAI Model Cracks Geometry's Toughest Nut(StartupHub.ai), Tildes ~science 讨论(含九位外部数学家署名核对的细节); CocoLoop