DeepMind's Aletheia Agent Solves Math Conjectures via Self-Verification
thisguyknowsai · x · 2026-08-22
Google DeepMind released a paper on self-verifying agents that catch their own hallucinations at generation time, called Aletheia. It autonomously solved 4 open Erdős conjectures and wrote a publishable math paper with zero human input.
The core insight is that a model generating a solution is bad at spotting its own errors because the same weights that hallucinated the step are grading it. Aletheia splits the job into three sub-agents:
- Generator: Writes a candidate solution.
- Verifier: Reads the solution in natural language (without seeing the Generator's reasoning) to hunt for gaps, unjustified steps, or fabricated citations.
- Reviser: Rewrites the broken parts based on the Verifier's critique.
The loop runs until the Verifier signs off.
More from coding & agent
- YC F26's Praxis launches AI agents to run law firm ops end to end — ycombinator · 2026-10-16
- Codex's year-long rise: 40M+ weekly users and its leader now runs all of OpenAI's core products — danshipper · 2026-10-16
- Developer builds inter-agent messaging for his AI agents — complete with message undo — baditaflorin · 2026-10-16
- How Codex Happened: inside OpenAI's comeback in coding — danshipper · 2026-10-16
- iOS 'dots' workflow: one Siri command turns screenshots into a background shopping and saving agent — nickbaumann_ · 2026-10-16
- Your widget tree is already a list of options: where Jev fits in Flutter — rseroter · 2026-10-16