Aletheia Powers Autonomous Math Research
Aletheia is a math research agent that generates, verifies, and revises solutions using advanced Gemini Deep Think. It achieves milestones like fully AI-generated papers, human-AI collaborations, and solving four open Erdos problems. The work proposes standards for quantifying AI autonomy in math.