OpenAI Model Independently Solves 80-Year-Old Math Problem

OpenAI模型突破性自主解决80年数学悬案

An OpenAI AI model solved the plane unit distance problem proposed in 1946, using Golod-Shafarevich theory to produce a family of more efficient constructions.

Why it matters: HKR-H/K/R all pass, but the item is only an X summary and lacks model name, paper link, reproducibility, and third-party verification. Strong OpenAI reasoning-research signal, kept below P1.