Towards Autonomous Mathematics Research
4 hours ago
- #Human-AI Collaboration
- #AI Research
- #Mathematical Olympiad
- Introduction of Aletheia, a math research agent capable of generating, verifying, and revising solutions in natural language.
- Powered by Gemini Deep Think for reasoning, a novel inference-time scaling law, and intensive tool use for mathematical research.
- Demonstrated capabilities from Olympiad problems to PhD-level exercises and AI-assisted mathematics research milestones.
- AI-generated research paper (Feng26) without human intervention in arithmetic geometry.
- Human-AI collaboration in research paper (LeeSeo26) proving bounds on systems of interacting particles.
- Semi-autonomous evaluation of 700 open problems on Bloom's Erdos Conjectures database, solving four open questions.
- Proposal for quantifying autonomy and novelty of AI-assisted results and human-AI interaction cards for transparency.
- Reflections on human-AI collaboration in mathematics and sharing of prompts and model outputs.