An OpenAI model has disproved a central conjecture in discrete geometry

An OpenAI model solved the 80-year-old unit distance problem and disproved a major conjecture in discrete geometry; the post does not disclose the model name, proof mechanism, or reproducibility conditions.

Why it matters: HKR-H/K/R all pass: the OpenAI math result is novel, concrete, and debate-starting. Missing model name, proof mechanism, and reproducibility keep it at 85, not a higher P1.