Projects About Us Community Blog
Resources
HuggingFace GitHub
Legal Notice
Our Mission

Open Data

We curate and publish high-quality mathematical datasets, making them freely available to researchers and developers worldwide.

AI for Formal Reasoning

We develop advanced AI models capable of understanding, solving, and formalizing complex mathematical problems with precision.

Human-AI Collaboration

We create intuitive tools and platforms that enable seamless collaboration between human mathematicians and artificial intelligence.

Numina is a non-profit organization. The donations and potential prize money from AI/Math competitions are exclusively used to support the development of the project.
How It Started
Award ceremony with the XTX prize team
Award ceremony with the XTX prize team.
Late 2023
Project Numina is founded by Jia Li, Yann Fleureau, Guillaume Lample, Stanislas Polu, and Hélène Evain with the support of Mistral AI and the AIMO competition.
Early 2024
General Catalyst, Answer.ai and Hugging Face join. Formation of the AIMO 2024 sprint team.
March 2024
Global contributors join from around the world.
AGI
Founding Team
Maths

There is something very special with mathematics.

Mathematics is a domain accessible to everyone, even to children long before they can read. Some of the greatest mathematicians of all time were actually self-taught, like Srinivasa Ramanujan, born to a modest family in India in 1887.
Mathematics is essential to humanity—it's the backbone upon which we've built everything from commerce to iPhones and nuclear power plants. Yet solving maths problems can often feel like playing a game with the universe.
This is why, when we started Numina, going open-source and open-dataset was the natural option. As with human intelligence, we believe that progress in AI for maths should be universal.
If the computer is a bicycle for the mind, then artificial intelligence is its engine—opening new horizons for the Ramanujans of our time.
"Mathematics transcends intelligence like an endless ocean only the mind can sail."

Get Involved with Project Numina

Engage with the community, explore our resources, or contribute à la mission.

Join the effort
Contribute code, review tasks or help shape the future of math.
Contact Us
Support the mission
Make a donation and help advance open, collaborative mathematics.
Donate to Numina
Follow us
Stay updated with the latest research and community news.
Follow us on X