Milestones of Autonomous Mathematics

Milestones of Autonomous Mathematics

Milestones of Autonomous Mathematics ResearchApril 13-17, 2026 Co-sponsored by ICARM and Principia Labs. Applications are now closed. Progress in mathematical AI models has led to a surge of discussion and excitement regarding the capabilities of these tools and the...
Milestones of Autonomous Mathematics

Workshop on Algebraic Geometry and Machine Learning

Workshop on Algebraic Geometry and Machine Learning June 22-26, 2026 Recent advances in machine learning—particularly large language models, automated theorem discovery, and AI-assisted symbolic computation—promise to significantly influence the practice of pure...