.svg)
.svg)
Research initiative
Bring AI into mathematics.
Rethink research.
Use AI to uncover patterns, probe ideas, and expand what’s possible in mathematical discovery.
The AI for Mathematics initiative bridges AI tools and mathematical research
Research
Our team experiments with AI to explore open problems across multiple areas of algebra, including combinatorial algebra and representation theory.
Collaborations
We partner with Caltech, Stevens Institute of Technology, and other leading universities to discover how AI can push mathematics forward.
Courses
At Nebius Academy, scientists can learn how to benefit from AI in their day-to-day work, from coding agents to reinforcement learning.
Learn with us
We offer research-based, expert-led learning for scientists who want to integrate AI into their work.
Study AI-Assisted Mathematical Discovery
Get details about our expert-led, in-person AI-Assisted Mathematical Discovery course for researchers, hosted by the London Institute for Mathematical Sciences – or head to GitHub and start exploring our practical, free learning materials right away.
Bring our AI course to your university
Get in touch to learn how we can support you in delivering the AI-Assisted Mathematical Discovery course materials to postdocs and researchers.
Explore our research projects
Together with academic partners, we explore open questions and approach long-standing problems with new AI tools. One of our major initiatives is the Laboratory for AI in Mathematics Education run in collaboration with Stevens Institute of Technology.
Faithfulness of the Burau representation of a braid group for n = 4
Searching for counterexamples to the Andrews–Curtis conjecture
Finding counterexamples to Kaplansky’s zero divisor conjecture
Conjecture search for quiver Grassmannians
Our partners
.avif)
.avif)
Join us in advancing mathematics with AI
Collaborate with us to explore new directions in AI-driven mathematics and bring bold ideas to life. Join the Nebius research credits program.
See details and apply
About Nebius Academy
At Nebius Academy – the education and research hub of Nebius – we help professionals and teams use AI to its full potential.
We focus on applied AI, advanced professional training,
and using AI for mathematical research.
15,000+
learners across Europe
the US, and Israel
the US, and Israel
3,000+
engineers, researchers, and tech leaders in our community
15,000+
learners across Europe
the US, and Israel
the US, and Israel
3,000+
engineers, researchers, and tech leaders in our community
15,000+
learners across Europe
the US, and Israel
the US, and Israel
3,000+
engineers, researchers, and tech leaders in our community
15,000+
learners across Europe
the US, and Israel
the US, and Israel
3,000+
engineers, researchers, and tech leaders in our community
Our experts
.avif)
.avif)
Sergei Gukov
Director at the Richard N. Merkin Center for Pure and Applied Mathematics, Consulting Director at the American Institute of Mathematics, John D. MacArthur Professor of Theoretical Physics and Mathematics at the California Institute of Technology
Sergei Gukov
Sergei is currently working on mathematical reasoning in AI systems and on development of new algorithms & architectures for sparse-reward, long-horizon problems that frequently appear in hard long-standing math problems.
Vlad Stepanov
CEO of Gradarius, Head of R&D at the Laboratory for AI in Mathematics Education (co-founded by Stevens Institute of Technology, Nebius, and Gradarius)
An experienced software engineer and technical leader with over 12 years at the intersection of technology, AI, and mathematics, Vlad has led EdTech projects reaching hundreds of thousands of learners and co-authored research on LLM evaluation in mathematics. His current work spans AI-driven math education and the application of ML methods to open mathematical problems.
.avif)
Stan Fedotov
AI Program Lead at Nebius Academy
