Google Deepmind's AlphaProof Nexus has autonomously solved nine open Erdős problems, including two unsolved for 56 years, at a cost of just a few hundred dollars per problem in computational inference.
The system represents a significant advancement in AI-assisted mathematical discovery. Among the nine problems solved, two had eluded mathematicians since 1968, demonstrating the potential of machine learning to tackle longstanding theoretical challenges.
AlphaProof Nexus differs fundamentally from competitors like OpenAI's natural language approaches. The system uses the Lean compiler to automatically verify each proof step, eliminating ambiguity and ensuring mathematical rigor. This verification layer adds computational overhead but guarantees the validity of solutions.
The Erdős problems—named after prolific mathematician Paul Erdős—represent some of mathematics' most difficult open questions. Their resolution, even partially, indicates progress in bridging human mathematical intuition and machine-driven problem solving.
However, results come with caveats. The overall success rate stands at just 2.5 percent, meaning the system fails far more often than it succeeds. This low conversion rate reflects the fundamental difficulty of the problems and the challenges in scaling AI reasoning to complex mathematical domains.
Inference costs of a few hundred dollars per problem remain economical compared to human mathematician time, but the low success rate raises questions about practical applicability. Researchers would need to attempt many problems to achieve one solution.
The breakthrough underscores AI's evolving role in scientific research. Rather than replacing mathematicians, systems like AlphaProof Nexus may serve as tools for exploring solution spaces and identifying promising research directions. The automatic verification through Lean addresses a critical concern in AI-generated mathematics: ensuring correctness without human oversight.
Google Deepmind's work builds on earlier AlphaProof systems and reflects broader industry investment in AI reasoning capabilities. The results suggest that specialized AI architectures, combined with formal verification systems, can contribute meaningfully to theoretical mathematics—an area previously dominated entirely by human intellect.
Major artificial intelligence research organizations are recruiting philosophers to address ethical dilemmas and fundamental questions about AI consciousness and morality. The trend reflects growing recognition that building safe AI systems requires expertise beyond engineering.
Bloomberg analysts highlight a widening gap between soaring AI valuations and underlying economic weakness, raising questions about market sustainability.
Major tech companies are increasingly financing AI infrastructure through debt rather than cash flows, according to new analysis from the Bank for International Settlements. The shift reflects the massive capital requirements of AI development and deployment.
David Pierce, who tested hundreds of to-do applications, offers practical guidance on integrating AI into productivity workflows. His advice challenges the assumption that staying ahead requires constant tool switching.