Projects About Us Community Blog
Resources
HuggingFace GitHub
Legal Notice
Project Numina
Numina advances open-source AI to deepen how humans and machines engage with mathematics, a mission shaped by open tools, data, and shared exploration in our ongoing projects
THEY SUPPORT US
Mistral AI Hugging Face Meta General Catalyst Anthropic Answer AI Beijing Mathematical Research Moonshot XTX
Ongoing Projects
Discover our flagship projects and current research directions.

Open Source AI

All our models and datasets are open and available to the community.

Featured Models

Name Description Size
NuminaMath-7B-CoT Math reasoning with chain-of-thought prompts 7B
Kimina-Prover-Distill-1.5B Lightweight formal proof assistant 1.5B
Coming Soon Model Advanced mathematical reasoning model TBA

Featured Datasets

Name Description Size
Numina Math Math reasoning dataset with chain-of-thought solutions 860K
Combibench Combinatorics problems and solutions benchmark 50K
Informal Math Dataset Large-scale informal mathematical proofs collection Coming Soon

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