OpenAI Claims Maths Breakthrough on a Famed Millennium Problem

OpenAI has claimed a major mathematical breakthrough on one of the famed Millennium Prize Problems, as reported by Nature. The claim pushes frontier AI reasoning beyond benchmark puzzles and directly into the heart of unproven theoretical conjectures. While automated search and proof synthesis show growing capability, formal verification and independent scrutiny from the wider mathematical community have only just begun.