Logo with the word 'NEBULA' in bold uppercase and 'ACADEMY' inside a horizontal gradient rounded rectangle.
Free course
London, LIMS

AI-Assisted  
Mathematical Discovery

Bring AI into your mathematical research to probe ideas, test new directions,
and speed up hypothesis exploration.

Apply now
Starts February 25
Learn from experts

Explore math projects, research papers, and coding tasks in the course created by mathematicians and AI experts.

Integrate AI into your research

Get expert advice on how to make AI tools and techniques part of your own research workflow.

Gain practical skills

Build expertise in AI-assisted coding, training and using LLMs, and searching for examples and counterexamples with RL and tools like AlphaEvolve.

Use AI to support
and advance your research

Learn by doing
14 weeks
140+ hours of lectures and home practice
One 3-hour class per week
Practical in-person course led by math and AI experts

Lectures take place at the London Institute for Mathematical Sciences (LIMS) Wednesdays, 10:00 am – 1:00 pm

Weekly practical labs 
Bi-weekly home assignments
Consultations focused on your own research

Curriculum

Module 1
AI-Assisted Coding and Reasoning

Running massive math experiments with the help of coding assistants. LLMs as research assistants.

Module 2
Training and Using AI Models

From linear models to neural networks: when AI models are useful and when they are not; data collection; model training.

Module 3
Transformers and LLMs

Mathematical data as sequences: from individual formulas to statements and proofs. The use of transformers and LLMs.

Module 4
Searching for Examples and Counterexamples

Speeding up search in huge search spaces. Algorithm optimization with AlphaEvolve and its open-source analogs. Reinforcement Learning.

Learn on GitHub

You can go through our learning materials at your own pace on GitHub. We’ll update the repository before the course starts.

Explore course materials
Is this course for you?

If you are a mathematician or theoretical physicist, comfortable with Python and curious about using AI in your research, this course is a good fit.

How to get started

We welcome all interested participants and will offer a short self-assessment task before the course starts to help you decide if your Python skills are at the right level.

Apply now

Our experts

Stan Fedotov
AI Program Lead at Nebius Academy

Stanislav holds a PhD in Mathematics (Representation and Invariant Theory) and has 12+ years of experience creating top educational courses in math and AI. He recently returned to math research to make new discoveries through AI-assisted experimentation.

Anton Plaksin
Senior ML Engineer at Nebius

With a PhD in Mathematics and 10 years of experience in AI (RL, GenAI, deep learning architectures) and applied mathematics (optimal control, multi-agent systems, PDEs), Anton is now a machine learning researcher. He has 40+ publications in top-tier journals and at A* conferences.

Denis Volkhonskiy
SWE Agents Advocate at Nebius Academy

Denis holds a PhD in Generative AI and has 10+ years of experience in this field. He co-authored 8 papers with 800+ citations. Over the past 5 years, Denis worked as an AI engineer, developing LLMs and AI agents for coding and other applications.

We help you turn AI capabilities into innovation

As Nebius's education and research arm, Nebius Academy helps professionals and teams apply AI in real workflows and support innovation.

15,000+
learners across Europe
the US, and Israel
3,000+
engineers, researchers, and tech leaders in our community
15,000+
learners across Europe
the US, and Israel
3,000+
engineers, researchers, and tech leaders in our community
15,000+
learners across Europe
the US, and Israel
3,000+
engineers, researchers, and tech leaders in our community
15,000+
learners across Europe
the US, and Israel
3,000+
engineers, researchers, and tech leaders in our community
Put AI to work in your math research
Apply now

FAQ

How does the application process work?
What level of coding skills is required to enter the program?
What is the weekly time commitment for this program?
Will the program help me apply AI in my own research?
Does the program cover programming in Lean?
What is the cost of the program?
Where does the program take place?
What is Nebius?
What is Nebius’s role in AI education?

Schedule a Consultation

You’re just one email away from transforming your company! Our team will reach out to understand your strategic objectives and craft a tailored solution thatmeets your specific needs.