Our Mission

Mathematical discovery enables us to comprehend every complex system, from the human brain to the universe. Throughout human history, every mathematical tool has amplified the scale and speed of subsequent discoveries.

AI presents a historic inflection point: where mathematical discoveries can unfold at exponential scale and exhilarating speed. We stand at the threshold of a mathematical renaissance.

This renaissance rests on three pillars: AI, programming languages and mathematics. Mathematicians collaborating with AI generate ideas at previously unimaginable scales and speed. Programming languages transform abstract concepts into testable reality. Together, they create a flywheel of discoveries: each breakthrough accelerating the next.

We are assembling, for the first time, a team with mastery across all three domains. These are pioneers who have used AI to shatter barriers in once-impenetrable fields: the architect of synchronous training at scale, the visionary who brought AI to code generation, and the trailblazer who applied Transformers to solve century-old mathematical conjectures.

The future of mathematical discovery begins here.