This article presents Aletheia, an AI agent designed to conduct mathematics research autonomously. It can generate and verify solutions in natural language, tackling problems from Olympiad level to PhD exercises, and has produced research papers and evaluated numerous open problems. The authors also discuss new methods for measuring AI autonomy and transparency in mathematics.