[2602.10177] Towards Autonomous Mathematics Research

This paper introduces Aletheia, a math research agent built on Gemini Deep Think that iteratively generates, verifies, and revises mathematical proofs end-to-end in natural language. It demonstrates several milestones including an autonomously generated research paper, a human-AI collaborative paper, and a semi-autonomous evaluation of 700 open problems from Bloom's Erdos Conjectures database -- including autonomous solutions to four previously open questions.

Visit Original Article →