DeepMind Aletheia: AI Solves Erdős Problems

On February 12, 2026, Google DeepMind reported on the success of the Aletheia agent (based on Gemini Deep Think). The AI contributed to solving several mathematical problems from the Erdős list, previously unsolvable by automated provers.

This is not just a calculator, but a research partner. Aletheia generates hypotheses and verifies them, demonstrating the rudiments of scientific creativity. AI is moving from data processing to generating new fundamental knowledge.

Source: Google DeepMind Blog