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

May 20, 2026 Rebecca Bellan

OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who exposed its last embarrassing claim are backing it up.

Previous Article
Microsoft’s carbon-removal plans aren’t dead after all
Microsoft’s carbon-removal plans aren’t dead after all

Microsoft is responsible for over 90% of the carbon-removal market, and reports suggested the company was p...

Next Article
IrisGo, a startup backed by Andrew Ng, looks to become the AI desktop buddy you never knew you needed
IrisGo, a startup backed by Andrew Ng, looks to become the AI desktop buddy you never knew you needed

Initially billed as an "AI butler," Iris watches what happens on a user's desktop and automatically learns ...