Research

Google DeepMind's AI Solves Nine Erdős Problems

The Rundown AIMay 25, 2026high confidence

Why it matters

→AI is advancing rapidly in solving complex mathematical problems.
→Formal verification by AI can accelerate scientific discoveries.
→This development showcases AI's potential in research beyond traditional capabilities.

Google DeepMind's AI Solves Nine Erdős Problems — ©The Rundown AI

Google DeepMind's AI system, AlphaProof Nexus, has autonomously solved nine open Erdős problems, marking a significant achievement in the field of mathematics. These problems, known for their complexity, were solved using a combination of a large language model and Lean, a proof assistant, at a cost of a few hundred dollars per problem. This breakthrough comes shortly after OpenAI's announcement of solving a single Erdős problem, showcasing the competitive advancements in AI-driven mathematical research. The success of AlphaProof Nexus demonstrates the potential for AI to contribute to solving longstanding mathematical challenges.

Read original

More from The Rundown AI

Market & Regulationbusiness

Pope Leo XIV Addresses AI in New Encyclical

Pope Leo XIV has released an encyclical titled 'Magnifica Humanitas,' marking a significant moment as the Catholic Church addresses the ethical implications of AI. The Pope draws parallels between the AI revolution and the Industrial Revolution, emphasizing the need for moral oversight in AI development. He warns against the monopolistic control of AI by private companies and calls for robust legal frameworks and independent oversight. This move signals the Church's intent to be a guiding moral voice in the rapidly evolving AI landscape, highlighting the importance of ethical considerations in technological advancements.

The Rundown AIMay 26, 2026

More in Research

Researchresearch

Specialized AI Models Outperform Larger Counterparts

In a surprising turn for AI procurement strategies, a specialized 3-billion-parameter model has outperformed larger commercial models in a specific enterprise domain, demonstrating that specialization can trump scale. This model excelled in Brazilian Portuguese OCR tasks, achieving higher quality at a fraction of the cost compared to leading frontier APIs. The findings challenge the prevailing assumption that larger models are inherently superior, highlighting the importance of aligning a model's training history with its deployment task. This shift suggests that enterprises might benefit from focusing on specialized models tailored to their specific needs rather than defaulting to larger, more generalized models.

Hugging Face BlogMay 22, 2026

Researchresearch

Google I/O Highlights Shift in AI-Driven Science

Google's recent I/O event underscored a significant shift in AI's role in scientific research. While tools like WeatherNext demonstrate AI's potential in specific applications, the focus is increasingly on agentic systems capable of conducting research autonomously. This pivot is evident in Google's Gemini for Science package, which integrates LLM-based systems to assist researchers. The move suggests a future where AI not only aids but potentially leads scientific discovery, marking a departure from specialized tools to more generalized, autonomous systems.

MIT Technology Review AIMay 22, 2026

Researchresearch

China Maps Entire Renewable Energy Grid with AI

China has set a new benchmark by using AI to map its entire renewable energy grid, a feat unmatched by any other nation. Researchers from Peking University and Alibaba's DAMO Academy have developed a comprehensive inventory of China's wind and solar infrastructure, leveraging deep-learning models on satellite imagery. This mapping enables more effective coordination of renewable resources, potentially minimizing energy waste and enhancing grid stability. The study demonstrates the potential for other countries to adopt similar AI-driven strategies to optimize their energy systems, moving beyond provincial-level management to a more unified national approach.

AI NewsMay 22, 2026