Stevens Institute of Technology is collaborating with Nebius Academy, the learning and research initiative of leading artificial intelligence infrastructure provider Nebius, to launch the Laboratory for AI in Mathematics Education at Stevens in Hoboken.
With a broad mandate to explore and promote innovative uses of AI in math research and education, the lab will investigate how large language models (LLMs), and other AI technologies can be used to promote mathematical reasoning skills and transform teaching practices. This collaboration aims to improve student performance, apply AI to solve open math problems, discover new hypotheses and test LLM technologies in math education.
“We strongly believe that the math research process will soon change by accepting AI’s assistance in proposing scientific hypotheses, proving theorems and verifying proofs. This will introduce AI-assisted experimentation in math research and free up scientists from routine technical tasks, giving them more time for meaningful exploration,” said Head of Nebius Academy, Elena Bunina.
Improving mathematics education is a fundamental issue for modern educators and advanced AI technologies such as LLMs offer potentially transformative solutions. The team behind the lab, which opened Wednesday, is currently developing a specialized course designed to introduce Stevens math researchers to a variety of AI technologies to enhance their research processes. Through practical projects in fields such as graph theory and group theory, students will learn to accelerate hypothesis formulation, optimize the search for examples and counterexamples and validate the results obtained through these techniques.
“Our lab is focused on developing intelligent tutoring technologies and preparing future mathematicians to incorporate AI and machine learning into their work,” said Alexei Miasnikov, director of the AI in Mathematics Education Lab and Distinguished Professor at Stevens. “By combining academic research with strong industry ties, we aim to accelerate innovation and bring AI-driven tools into the classroom to transform math education.”
“This launch marks a transformative moment in mathematics education and research. By drawing on Stevens’ proven excellence in technological education in combination with AI innovation to advance educational approaches in this field, we are creating an environment where artificial intelligence will advance both learning and discovery in mathematics,” said Stevens President Nariman Farvardin. “This laboratory will empower our students and faculty to not only push the boundaries of mathematical understanding but also pioneer new approaches that will reshape how mathematics is taught and learned in our increasingly technology-driven world.”
Stevens is currently utilizing an innovative calculus education platform from Gradarius, an edtech company based in New Jersey that specializes in advanced mathematics education. This technology will serve as a foundational component for the lab activities.
“Our collaboration with Stevens has consistently advanced the integration of modern technology in math education,” said Vlad Stepanov, CEO of Gradarius. “With the creation of this lab and Nebius’s machine learning expertise, we’ll refine the use of AI and develop specialized models to address the unique challenges of teaching mathematics effectively in diverse educational contexts.”
As part of the lab’s initiatives, a workshop on AI in math brought together leading math and AI and machine learning experts to discuss advancements in the field, while the U-MATH benchmark – a critical resource for evaluating AI capabilities in mathematics – was recently released in collaboration with Toloka (part of Nebius Group) and Gradarius.
Nebius recently announced a research credits program to support academic innovation by giving researchers access to GPU cloud or AI models for inference tasks. Designed to empower AI engineers and researchers, Nebius Academy’s university collaborations and advanced online and in-person programs in data science, machine learning, and generative AI help specialists level up their skills and drive innovation in tech.
