OpenAI claims it solved an 80-year-old math problem — for real this time

OpenAI says its reasoning model disproved a geometry conjecture unsolved since 1946, and the snippet says mathematicians who challenged its previous claim now back it; the post does not disclose the model name, proof details, or verification process.

Why it matters: HKR-H/K/R all pass: OpenAI plus an 80-year geometry conjecture is a strong, testable reasoning claim. Missing model name, proof details, and validation flow keep it below P1.