Project Numina Fellowship: AI for Mathematical Research
Project Numina is a non-profit initiative advancing mathematics through open collaboration between humans and artificial intelligence (AI).
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.
Visit the Project Numina website for more information on the AI for Mathematical Research fellowship.
Value and Duration
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.
The program will start with an initial 12- to 18-month collaboration, during which Numina will commit resources equivalent to $50,000–$200,000, depending on project needs.
Eligibility
- Open to public and private research organizations.
- Open to both projects in pure mathematics and scientific research in general.
Examples of Problems Suitable for the Fellowship
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 auto formalized 90% of this research article in November 2025.
- Recognizing latent mathematical structure (e.g., invariants, patterns or heuristics) from data.
- Open-ended conjectures and problem networks such as Erdős problems.
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)
Special Considerations
The products of research should be made publicly available (through scientific publications and open-source tools).
If you’re planning to share confidential information as part of your submission, we need to sign a mutual confidentiality agreement first. This will protect your confidential information and the intellectual property of your work.
Please contact Numina by email prior to completing the form (before March 31, 2026).
Deadlines
| Deadline | Date |
|---|---|
| Faculty Deadline | Consult your Faculty Research Facilitator |
| Internal cuResearch Approval Form and application | March 20, 2026 |
| Submission of application to Project Numina | March 31, 2026 (midnight CET or 6 a.m. EST) |
Selected projects will be announced in July 2026, with fellowships beginning in summer 2026.
How to Apply
- Complete the online application form
- Attach one- to two-page document describing the following:
- An overview of your research and the specific objectives you aim to achieve with Numina in a 12- to 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.
Contact Us
Carleton International, Internationally Sponsored Research: International.Research@cunet.carleton.ca