Towards Autonomous Mathematics Research
Summary
AI-powered mathematics research is advanced with Aletheia, an autonomous agent that generates, verifies, and revises solutions end-to-end using tool-assisted reasoning. The paper demonstrates AI-assisted math from Olympiad problems to PhD-level topics and discusses transparency and human-AI collaboration in research prompts and outputs.