Numina is a global non-profit advancing AI and human intelligence in mathematics — known for tools like Numina-Lean-Agent, which solved all problems from the Putnam 2025 competition.

The Numina Fellowship 2026 is open for research groups worldwide aiming to accelerate scientific and mathematical research using AI specialized in mathematical reasoning. The program supports collaborative projects tackling complex problems in mathematics and science, combining AI tools, compute, and expert support.

About the Fellowship

Focus on AI-driven mathematical reasoning and scientific discovery
Collaboration with Numina researchers and engineers
Access to specialized AI tools for advanced research

What You Get

Resource support equivalent to $50K–$200K per project
Access to Numina AI tools and models:
- Theorem proving with formal verification
- Autoformalization of mathematical statements and proofs
- Exploration of mathematical search spaces
Support from AI researchers and engineers
Computing resources

Program Details

Application deadline: 2026-03-31
Duration: 12–18 months
Start: Summer 2026
Results announcement: July 2026

Eligibility

Public and private research organizations
Teams in mathematics, AI, or scientific research
Projects whose results can be publicly shared (publications or open-source tools)

Example Research Areas

Mathematics

Formal verification of proofs and conjectures
Discovering patterns, invariants, and structures
Open-ended problems (e.g., Erdős-type problems)

Scientific Research

Problems with large search spaces (e.g., NP complexity)
Tasks that are easy to verify and scalable with AI

Application Requirements

Applicants are encouraged to submit:

Research overview and objectives (12–18 months)
How Numina tools can support the project
Team profile and academic background

Shortlisted teams will be invited for interviews in May 2026.

How to Apply

Apply here:
https://lnkd.in/eMdKAgf6

Numina Fellowship 2026 – AI for Mathematical Research