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.

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.

As AIs automate theorem proving and even explanation, the role of human mathematicians will shift. Instead of being creators, they will act as curators, using their taste and social connection to guide others through the vast, AI-generated landscape of mathematical ideas. Their value will lie in providing motivation and a human-centric narrative.

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.

Harmonic, co-founded by Vlad Tenev to build mathematical superintelligence, has seen its model 'Aristotle' advance faster than anticipated. Initially targeting competition-level math, Aristotle is already assisting with or solving previously unsolved 'Erdős problems,' accelerating the timeline towards tackling foundational scientific challenges.

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.