OpenAI said its reasoning model disproved a geometry conjecture that had been unsolved since 1946. Mathematicians who challenged an earlier claim are backing this result.

TechCrunch

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

OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who exposed its last em...