MATH RESEARCH AGENT FROM DEEPMIND

Summary from the TLDR AI newsletter

DeepMind introduced Aletheia, a math research agent powered by an advanced version of Gemini Deep Think that iteratively generates and verifies long-horizon proofs using intensive tool support.