A skeptical mathematician designed a problem based on 20 years of his research, intended to be impossible for AI. When GPT-5.4 Pro solved it with a creative, 'almost human' solution, he declared his 'personal singularity' had arrived, embracing AI as a top-tier collaborator.

The new AI model is not just an incremental improvement. For top experts like mathematician Bartosz, it's solving problems they've worked on for decades. This marks a shift from AI as a productivity tool to a partner capable of unprecedented scientific breakthroughs, leading to what they call a "personal singularity."

An OpenAI model, without any specific mathematical training, solved a famous 80-year-old math problem. This proves general-purpose AI can autonomously produce landmark scientific results, not just accelerate human research. It signals a new era for discovery where AI is a primary research agent.

Top AI models are now solving major open problems in mathematics, leading some in the field to feel their core purpose is being automated away. This isn't just about tools; it's a profound identity crisis for a discipline built on human ingenuity and the pursuit of solving theorems.

A common fear is that AIs will produce billion-line proofs of theorems without offering human insight. However, an alternative and perhaps more likely future is that their superhuman capabilities will be applied to explanation. They could take complex, human-incomprehensible proofs and find novel ways to make them intuitive and easy to understand.

An internal, general-purpose OpenAI model solved a famous combinatorial geometry problem without specialized training or scaffolding. Unlike task-specific AIs, this achievement demonstrates a significant advance in abstract reasoning, suggesting models are progressing towards more general intelligence faster than anticipated.

Top mathematician Timothy Gowers was relieved an AI model disproved a conjecture with a counterexample rather than proving it, considering the former an 'easier' task. This reaction from one of the world's smartest people highlights the palpable and imminent arrival of superhuman intelligence.

Moving beyond solving existing problems like the Millennium Prize problems, the true test of advanced AI in mathematics will be its ability to generate novel, interesting conjectures and create new, unifying definitions. This represents a higher tier of mathematical creativity, akin to the work of the greatest mathematicians who frame the questions for others to solve.

With AI generating complex formulas and proofs, the most challenging part of scientific research is no longer solving the core problem. Instead, the primary human task becomes verifying the AI-generated results and writing them up, fundamentally changing the research workflow.