OpenAI says an AI system produced meaningful progress on one of mathematics’ seven Millennium Prize Problems in just 88 hours, a claim that has generated both excitement and controversy in the mathematics community. The Millennium Prize Problems are a set of notoriously difficult unsolved questions, each carrying a $1 million reward from the Clay Mathematics Institute for a verified solution.
The announcement quickly turned into a dispute over attribution. Mathematicians and AI researchers have pushed back on how the achievement is being characterized, questioning whether the system independently generated a novel proof or whether it leaned heavily on existing published work and human guidance along the way. That distinction matters enormously in mathematics, where credit typically depends on originality and rigor rather than speed.
Regardless of how the credit dispute resolves, the episode highlights how quickly frontier AI systems are being pointed at some of the hardest open problems in formal reasoning, following a string of earlier results in which AI models performed competitively at international mathematics olympiads. Researchers say verifying any claimed proof will take time, since Millennium Prize submissions require rigorous peer review before any prize money changes hands.
The debate also feeds into a broader conversation about how much of AI’s recent “reasoning” progress represents genuine novel insight versus sophisticated recombination of material already in a model’s training data — a question that is likely to keep resurfacing as labs tout increasingly ambitious results.