Điểm chính với độc giả là: 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.
Về chi tiết, 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.
Điều cần theo dõi tiếp theo là 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.
Nguồn tham khảo: An OpenAI model has disproved a central conjecture in discrete geometry（OpenAI官方）, OpenAI Model Cracks Geometry's Toughest Nut（StartupHub.ai）, Tildes ~science 讨论（含九位外部数学家署名核对的细节）; CocoLoop