Stevens Institute of Technology and Nebius Academy have launched the Laboratory for AI in Mathematics Education at Stevens’ Hoboken, New Jersey campus.
The new facility will examine how artificial intelligence can enhance math research, improve instruction, and support hypothesis testing using large language models (LLMs).
AI’s expanding role in math research
The lab will investigate AI’s potential in mathematical reasoning, testing whether LLMs and other AI tools can assist with theorem proving, generating hypotheses, and verifying solutions. Researchers will also explore ways to integrate AI into math education, aiming to modernize teaching methods and improve student performance.
Elena Bunina, head of Nebius Academy, said AI will play an increasing role in mathematics research:
“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.”
Building AI-driven math education
Faculty at the lab are developing a specialized course that introduces Stevens’ math researchers to AI-driven techniques. Students will engage in projects in graph theory and group theory, applying AI to hypothesis testing and verification. The aim is to streamline research workflows and improve efficiency in problem-solving.
Alexei Miasnikov, director of the AI in Mathematics Education Lab and distinguished professor at Stevens, emphasized the lab’s goal of merging AI research with education:
“Our lab is focused on developing intelligent tutoring technologies and preparing future mathematicians to incorporate AI and machine learning into their work. 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.”
Industry collaboration and AI integration
The lab is the latest in a series of AI-driven initiatives at Stevens. The university has already incorporated Gradarius’ calculus education platform, which provides step-by-step guidance to students. Gradarius, an edtech company based in New Jersey, will contribute its expertise to lab projects.
Vlad Stepanov, CEO of Gradarius, said the partnership builds on existing efforts to integrate AI into math education:
“Our collaboration with Stevens has consistently advanced the integration of modern technology in math education. 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 its broader academic initiatives, Nebius has also launched a research credits program, giving AI researchers access to GPU cloud services for inference tasks. The company continues to expand its university partnerships, offering programs in data science, machine learning, and generative AI.
Stevens Institute President Nariman Farvardin described the lab’s launch as a significant moment for the university’s approach to technological 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.”
