• 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).

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)

To apply to the fellowship program, please complete this form before March 31, 2026 (midnight CET).

Participants wishing to sign a mutual confidentiality agreement before sharing information about their research should send us an email at [email protected] prior to completing the form.

Participants are strongly encouraged to attach a 1 to 2 pages document to their application describing the following:

• An overview of your research and the specific objectives you aim to achieve with Numina in a 12-18-month period.
• A description of how Numina can help accelerate your research, including the tools you are interested in using.
• Your academic resume and a presentation of the team working on the project.

Applications will be reviewed by the Numina team and scientific advisors, shortlisted teams will be invited to present their project in further detail via video conference in May.

Selected projects will be announced in July 2026 and fellowships beginning in the summer 2026.

• Researchers are invited to apply to the fellowship using their current research projects and to consider how AI might enhance their work. Projects do not need to be explicitly designed around AI.
• Please note that this is a fellowship program, not a grant. Numina provides access to resources such as staff support, compute, and tools — not direct funding.