v3 Template
P

Project Numina

Technology (Artificial Intelligence and Mathematics) ~90 employees
Founded
--
Employees (Est.)
~90
6 leaders known
Total Funding
$3.3M
Funding Rounds
1
Last Funding
2024-12-17

About Project Numina

Project Numina is a non-profit initiative focused on advancing mathematics through open collaboration between humans and AI. Their mission is to deepen the engagement between humans and machines in mathematics using open tools, data, and shared exploration.

Products & Services

Axion:An AI-powered platform to explore, write, and validate mathematical proofs, aiding learners with guided feedback and adaptive learning paths. Available July 2025.
CombiBench:A benchmark dataset of 100 combinatorial problems in Lean 4 for evaluating automated theorem proving, updated May 2025.
kimina-prover-72b:An automated proof assistant for advanced mathematical research, updated July 2025.
NuminaForge:An internal platform for collaborative mathematical annotation at scale, featuring multi-user workflows and autoformalization in Lean 4, released October 2024.
NuminaMath:A dataset recognized as the winning solution of the 1st AIMO Progress Prize, updated July 2025.
NuminaMath-Lean 100K:A forthcoming dataset of 100,000 formalized math problems in Lean, including 50,000 solutions, for reinforcement learning training, expected July 2025.
NuminaMath-7B-CoT:A model for math reasoning with chain-of-thought prompts, size 7B.
Kimina-Prover-Distill-1.5B:A lightweight formal proof assistant model, size 1.5B.

Specialties

Open-source AI Mathematical reasoning Automated theorem proving Collaborative mathematics AI model development Dataset creation for mathematics

Funding History

Debug: View Raw Funding Data
# Type Amount Fields Date Fields Investors
1 RT: Research Grant
T: -
FT: Research Grant 		A: 3300000
MR: -
FA: €3 million
FAN: 3300000 		D: 2024-12-17
FD: 2024-12-17 		1 investors
Research Grant Latest
2024-12-17
$3.3M
1 investor (Pro only)

Growth Metrics

+45%
Employee Growth
YoY
3.2x
Funding Growth
Last Round
12
Markets
Operating
10K+
Customers
Active

View 3 more growth metrics with Pro

Unlock All Metrics
Mock Up

Team & Leadership

J

Jia Li

Founding Team

LinkedIn (Pro only)
Y

Yann Fleureau

Founding Team

LinkedIn (Pro only)
G

Guillaume Lample

Founding Team

LinkedIn (Pro only)
S

Stanislas Polu

Founding Team

H

Hélène Evain

Founding Team

S

Srinivasa Ramanujan

View 3 more team members with Pro

Unlock Full Team Directory

Recent News

Project Numina Announces New Product Launch

2 days ago

Company unveils innovative solution to transform the industry, expanding market reach and capabilities...

Read more →

Leadership Team Expands with Industry Veteran

1 week ago

New executive brings 20+ years of experience to accelerate growth and strategic initiatives...

Read more →

Company Recognized as Industry Leader

2 weeks ago

Receives prestigious award for innovation and customer satisfaction in competitive market...

Read more →

View 2 more news articles with Pro

Unlock Full News Feed
Mock Up

Key Competitors

C1

Competitor Alpha

Series B · $50M raised

C2

Competitor Beta

Series C · $120M raised

C3

Competitor Gamma

Series A · $25M raised

C4

Competitor Delta

Seed · $10M raised

Mock Up

Company Details

Industries
Technology (Artificial Intelligence and Mathematics)
Company Size
~90 employees (est.)

Similar Companies

Discover AI-powered company recommendations based on industry, funding, and team profiles.

Upgrade to Pro

Technology Stack

Discover the backend, frontend, and infrastructure technologies powering this company's products.

Upgrade to Pro