Glossary · Term

Agent A

← all terms

Definition

A bare-bones AI math agent that just iterates with a language model and a proof checker.

The simplest agent variant in the DeepMind Erdős work: a Ralph-style loop pairing an LLM (Gemini 3.1 Pro) with the Lean compiler, no evolution or AlphaProof, run in parallel until a proof compiles.

Also called: Agent B, Agent C, Agent D

Mentioned in 2 episodes

  1. 067
    An AI Just Solved a 1996 Erdős Problem—and the Simplest Agent Won
  2. 018
    Language Models Compute the Rational Move, Then Override It