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

image via TechCrunch

May 20, 2026, 8:28 PM

• •OpenAI's new model disproved a geometry conjecture.
• •This follows controversy regarding earlier claims about GPT-5.
• •The company published remarks from mathematicians in support.
• •The AI's ability to hold complex reasoning and connecting ideas across fields is emphasized.
• •The proof came from a new general-purpose reasoning model.

OpenAI announced its new reasoning model has produced an original mathematical proof disproving a famous unsolved geometry conjecture posed in 1946 by Paul Erdős. This claim follows a previous instance where OpenAI was accused of misrepresenting the capabilities of its AI model, GPT-5. The company has published supporting remarks from mathematicians to bolster its claim, emphasizing the AI's ability to discover new constructions and complex reasoning capabilities. The achievement is seen as a significant step, potentially impacting fields like biology, physics, engineering, and medicine.

Read original article