Overview
The Numina fellowship is designed for research groups worldwide interested in accelerating their programs with AI tools specialized in mathematical reasoning. This fellowship aims at co-developing solutions to deep and ambitious research problems at the forefront of science and mathematics.
As part of the fellowship, Numina will support research teams by providing access to:
- General Numina AI tools and models for:
- Theorem proving with formal verification
- Autoformalization of advanced mathematical statements and proofs
- Algorithmic exploration of mathematical search spaces
- Dedicated collaboration with Numina AI research engineers and scientists to co-develop new datasets and custom-tailored AI tools/models specifically for your project needs.
- Computing resources to support the project objectives
The program will start with an initial 12-18 months collaboration during which Numina will commit resources equivalent to $50k-$200k, depending on the project needs. Programs will then be accelerated on a case-by-case basis depending on the potential outcomes.
Eligibility
- Open to public and private research organizations.
- Open to both projects in pure mathematics and scientific research in general.
- The products of research should be made publicly available (through scientific publications and open-source tools).
Examples of problems suitable for the fellowship
1. Pure mathematical research
The following types of problems are the most likely to benefit from the latest AI developments:
- Formal verification of conjecture proofs — Numina released the Numina-Lean-Agent, an Agentic Reasoning System for Formal Mathematics which solved all problems in Putnam 2025 and autoformalized 90% of this research article in Nov 2025.
- Recognizing latent mathematical structure (e.g. invariants, patterns, or heuristics) from data
- Open-ended conjectures and problem networks such as Erdős problems
2. General scientific research
The following class of problems "hard to search / easy to validate and scale" are good targets for SOTA AI systems:
- NP search space / complexity
- Scalable verification (low complexity, possibility to generate synthetic data)
General information
The application is now closed and we are currently reviewing applications.
We expect to announce the selected fellowship projects in July 2026.
About Numina
Numina is a global non-profit organization, headquartered in France, and an open-scientific collaboration whose mission is to foster the development of AI and human intelligence in the field of mathematics.
Numina won the AIMO 1st Progress Prize in July 2024 with its Numina Math 7B model. After this initial milestone, the team worked on several projects that resulted in the release of theorem-proving and auto-formalization models and agents (Kimina-Prover and Numina-Lean-Agent) as well as datasets of formalized problems and solutions (NuminaMath Lean 100k, CombiBench).
Numina-Lean-Agent solved all problems from the Putnam 2025 competition, matching the performance of leading closed-source systems. Beyond benchmark evaluations, it has been used in collaboration with mathematicians to formalize the Brascamp–Lieb theorem.
Learn more about our work at projectnumina.ai