Recognizing the potential for mathematicians to accelerate the advent of Mathematical Superintelligence (MSI), Harmonic is excited to provide $1 million of sponsorships directly to students and researchers.
Since Harmonic launched Aristotle to the public in late 2025, mathematicians at all levels have already used it to turn their intuition into rigorous, formally verified proofs. We’re at the dawn of a new era of discovery with Aristotle solving open conjectures and formalizing hallmark results.
“Just like in sports and the arts, we have superstars in mathematical research. Harmonic is excited to take this first step and commit resources to help mathematical pioneers expand the frontiers of human understanding,” said Tudor Achim, CEO of Harmonic.
We are excited to offer two types of awards:
Principal Investigator Awards
Principal Investigator Awards are designed for those leading ambitious research projects. Awardees receive:
- O($100K) funding for high-impact projects
- Early access to next-generation Aristotle models
- Access to our community of world-class experts
Rising Mathematician Awards
Rising Mathematician Awards are designed to support a new generation of mathematicians, typically at the undergraduate level, who are interested in experimenting with AI and formal math tools, exploring the limits of their capabilities, and sharing their journeys with the broader scientific community.
Applications for these awards are now closed.
Press inquiries: pr@harmonic.fun
