
Principal Investigators
Grants designed for professors and research groups at the frontiers of their respective fields
/Accelerants
>
Significant funding for high-impact projects
>
Exclusive Access to Next-Generation Aristotle Models
>
Membership in a community of world-class experts
/Qualifications
>
Ambitious project
>
Track REcord of Mathematical discovery
>
Familiarity with lean

Rising Mathematicians
Designed for students, primarily at the undergraduate level, who are passionate about learning and pushing the limits of AI and formal verification
/Accelerants
>
Funding for personal projects and exploration
>
Exclusive Access to Next-Generation Aristotle Models
>
Membership in a community of world-class experts
/Qualifications
>
History of exploration in math or adjacent field
>
Demonstrated interest in the future of math and ai
>
Builds in public

Join the Next Wave
Two sponsorship categories, one mission: accelerate the advent of mathematical superintelligence.
> Apply Now