What Happened
Google researchers submitted the Aletheia paper on February 10, 2026; the accompanying announcement followed on February 11. Powered by Gemini Deep Think, the agent tackles research mathematics through repeated generation, verification and revision. The authors report contributions to arithmetic geometry and combinatorics, alongside an evaluation involving 700 Erdős problems.
Why It Matters
The work documents movement from competition problems toward professional mathematical research. Its significance includes explicit accounting of human involvement and publication of prompts and outputs, which help readers assess how results were obtained.
Technical Details
Aletheia combines natural-language verification with literature search and browsing. It can reject flawed candidates or report failure. These mechanisms aim to improve reliability during long reasoning tasks. The authors distinguish novelty and autonomy rather than treating every solved problem equally, and explicitly claim no results in their highest categories of major advances or landmark breakthroughs.