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

OpenAI claims to have solved an 80-year-old math problem using its reasoning model, disproving a geometry conjecture that has been unsolved since 1946. Mathematicians who previously exposed OpenAI's false claim are now backing up the new solution.