Definition
DeepMind's system that combined neural networks with formal proof tools to solve olympiad math problems.
A specialized DeepMind system pairing language models with Lean-based formal verification and search to attain medal-level performance on IMO problems.
Mentioned in 2 episodes
067
048