Nebius provides computational power to Stevens’ mathematics laboratory. In November 2025, assistant professor Eric Ramos described that support alongside computations for his NSF-supported combinatorial and computational algebra research.
Stevens and Nebius Academy launched their mathematics education laboratory in March 2025 to explore AI for mathematical research and teaching. A subsequent joint Stevens–Nebius–Gradarius study reported more than a 60-fold benchmark speedup using cooperating, differently configured algorithms. Its reinforcement learning orchestrator remained planned. Nebius Academy separately describes joint research with Stevens professor Alexei Miasnikov applying reinforcement learning to the Burau representation and investigating the Andrews–Curtis and Kaplansky conjectures. A September 2026 account describes a separate joint-lab effort investigating whether the Burnside group B(2,5) is finite. That team combines rewriting algorithms, shares useful rules and uses reinforcement learning to select approaches for simplifying 119 symbolic expressions. Research agents consult literature, run experiments and challenge results, while humans direct the work and arbitrate disagreements.
Nebius, Stevens and Bar-Ilan University also created an AI in Mathematics graduate course. Nebius Academy reported that it had been taught at both universities, with 50 participants across the two institutions. Alexei Miasnikov teaches the Stevens elective. The joint lab also works on an intelligent tutor for mass mathematics education.
Nebius announces a joint laboratory at Stevens for AI in mathematics research and education, with planned tutoring technologies and researcher training.
Nebius Academy and Stevens launch mathematics lab12 Mar 2025 · Nebius · Web pageNebius announces a joint laboratory at Stevens for AI in mathematics research and education, with planned tutoring technologies and researcher training.
Mathematics 2030: A Field in Search of Itself
23 Sept 2026 · nebius.science · Web page
Nebius describes research at the joint Stevens–Nebius–Gradarius laboratory investigating whether the Burnside group B(2,5) is finite. The team combines rewriting algorithms, shares rules and uses reinforcement learning to select approaches for simplifying 119 symbolic expressions. Research agents consult literature, run experiments and challenge results under human direction.
Mathematics 2030: A Field in Search of Itself23 Sept 2026 · nebius.science · Web pageNebius describes research at the joint Stevens–Nebius–Gradarius laboratory investigating whether the Burnside group B(2,5) is finite. The team combines rewriting algorithms, shares rules and uses reinforcement learning to select approaches for simplifying 119 symbolic expressions. Research agents consult literature, run experiments and challenge results under human direction.
The Mixer: Storming Group Theory With Group Intelligence
16 Apr 2026 · Nebius Science · Web page
Vlad Stepanov describes computational group-theory research at the joint Stevens–Nebius–Gradarius lab. Algorithm mixing exceeded a 60-fold benchmark speedup. Reinforcement learning remained planned.
The Mixer: Storming Group Theory With Group Intelligence16 Apr 2026 · Nebius Science · Web pageVlad Stepanov describes computational group-theory research at the joint Stevens–Nebius–Gradarius lab. Algorithm mixing exceeded a 60-fold benchmark speedup. Reinforcement learning remained planned.
AI for Mathematical Research
16 Oct 2026 · Nebius Academy · Web page
Nebius Academy describes joint mathematical research with Stevens professor Alexei Miasnikov, including reinforcement learning for the Burau representation and investigations of Kaplansky’s conjecture.
AI for Mathematical Research16 Oct 2026 · Nebius Academy · Web pageNebius Academy describes joint mathematical research with Stevens professor Alexei Miasnikov, including reinforcement learning for the Burau representation and investigations of Kaplansky’s conjecture.
Eric Ramos Awarded NSF Grant to Advance Combinatorial and Computational Algebra at Stevens
11 Nov 2025 · Stevens Institute of Technology · Web page
Eric Ramos states that Nebius supplies additional computational power to Stevens’ mathematics lab in the context of computational algebra research.
Eric Ramos Awarded NSF Grant to Advance Combinatorial and Computational Algebra at Stevens11 Nov 2025 · Stevens Institute of Technology · Web pageEric Ramos states that Nebius supplies additional computational power to Stevens’ mathematics lab in the context of computational algebra research.
Stevens Institute of Technology is a private, nonprofit research university in Hoboken, New Jersey. It serves undergraduate and graduate students, working professionals and corporate partners through degree programs, research and professional education. Its academic offerings span engineering, science, computing, business, humanities and the arts, including bachelor’s, master’s and doctoral programs, plus online degrees and certificates. Engineering and science programs combine classroom study with hands-on design and research, while professional education provides flexible study options for learners pursuing career development.
Stevens researcher receives NSF CAREER award for human-AI design research
Stevens announced that systems engineering assistant professor Ting Liao received an NSF CAREER award. Her project will study trust in human-AI collaboration and develop systems that adapt to users during engineering design.
Stevens expands research partnership with Hackensack Meridian Health
The institutions agreed to expand their research collaboration across engineering, AI and healthcare. The agreement creates visiting research faculty appointments and supports joint studies, including research on healthy aging.
Stevens reports $87 million in FY2026 research funding
Stevens reported $87 million in externally sponsored research funding, approximately 13% above FY2025. The university also awarded a record 92 Ph.D. degrees.
Private research university in Hoboken, New Jersey. · Research
How they use Nebius AI Cloud
Nebius provides computational power to Stevens’ mathematics laboratory. In November 2025, assistant professor Eric Ramos described that support alongside computations for his NSF-supported combinatorial and computational algebra research.
Stevens and Nebius Academy launched their mathematics education laboratory in March 2025 to explore AI for mathematical research and teaching. A subsequent joint Stevens–Nebius–Gradarius study reported more than a 60-fold benchmark speedup using cooperating, differently configured algorithms. Its reinforcement learning orchestrator remained planned. Nebius Academy separately describes joint research with Stevens professor Alexei Miasnikov applying reinforcement learning to the Burau representation and investigating the Andrews–Curtis and Kaplansky conjectures. A September 2026 account describes a separate joint-lab effort investigating whether the Burnside group B(2,5) is finite. That team combines rewriting algorithms, shares useful rules and uses reinforcement learning to select approaches for simplifying 119 symbolic expressions. Research agents consult literature, run experiments and challenge results, while humans direct the work and arbitrate disagreements.
Nebius, Stevens and Bar-Ilan University also created an AI in Mathematics graduate course. Nebius Academy reported that it had been taught at both universities, with 50 participants across the two institutions. Alexei Miasnikov teaches the Stevens elective. The joint lab also works on an intelligent tutor for mass mathematics education.
Nebius announces a joint laboratory at Stevens for AI in mathematics research and education, with planned tutoring technologies and researcher training.
Nebius Academy and Stevens launch mathematics lab12 Mar 2025 · Nebius · Web pageNebius announces a joint laboratory at Stevens for AI in mathematics research and education, with planned tutoring technologies and researcher training.
Mathematics 2030: A Field in Search of Itself
23 Sept 2026 · nebius.science · Web page
Nebius describes research at the joint Stevens–Nebius–Gradarius laboratory investigating whether the Burnside group B(2,5) is finite. The team combines rewriting algorithms, shares rules and uses reinforcement learning to select approaches for simplifying 119 symbolic expressions. Research agents consult literature, run experiments and challenge results under human direction.
Mathematics 2030: A Field in Search of Itself23 Sept 2026 · nebius.science · Web pageNebius describes research at the joint Stevens–Nebius–Gradarius laboratory investigating whether the Burnside group B(2,5) is finite. The team combines rewriting algorithms, shares rules and uses reinforcement learning to select approaches for simplifying 119 symbolic expressions. Research agents consult literature, run experiments and challenge results under human direction.
The Mixer: Storming Group Theory With Group Intelligence
16 Apr 2026 · Nebius Science · Web page
Vlad Stepanov describes computational group-theory research at the joint Stevens–Nebius–Gradarius lab. Algorithm mixing exceeded a 60-fold benchmark speedup. Reinforcement learning remained planned.
The Mixer: Storming Group Theory With Group Intelligence16 Apr 2026 · Nebius Science · Web pageVlad Stepanov describes computational group-theory research at the joint Stevens–Nebius–Gradarius lab. Algorithm mixing exceeded a 60-fold benchmark speedup. Reinforcement learning remained planned.
AI for Mathematical Research
16 Oct 2026 · Nebius Academy · Web page
Nebius Academy describes joint mathematical research with Stevens professor Alexei Miasnikov, including reinforcement learning for the Burau representation and investigations of Kaplansky’s conjecture.
AI for Mathematical Research16 Oct 2026 · Nebius Academy · Web pageNebius Academy describes joint mathematical research with Stevens professor Alexei Miasnikov, including reinforcement learning for the Burau representation and investigations of Kaplansky’s conjecture.
Eric Ramos Awarded NSF Grant to Advance Combinatorial and Computational Algebra at Stevens
11 Nov 2025 · Stevens Institute of Technology · Web page
Eric Ramos states that Nebius supplies additional computational power to Stevens’ mathematics lab in the context of computational algebra research.
Eric Ramos Awarded NSF Grant to Advance Combinatorial and Computational Algebra at Stevens11 Nov 2025 · Stevens Institute of Technology · Web pageEric Ramos states that Nebius supplies additional computational power to Stevens’ mathematics lab in the context of computational algebra research.
Stevens Institute of Technology is a private, nonprofit research university in Hoboken, New Jersey. It serves undergraduate and graduate students, working professionals and corporate partners through degree programs, research and professional education. Its academic offerings span engineering, science, computing, business, humanities and the arts, including bachelor’s, master’s and doctoral programs, plus online degrees and certificates. Engineering and science programs combine classroom study with hands-on design and research, while professional education provides flexible study options for learners pursuing career development.
Stevens researcher receives NSF CAREER award for human-AI design research
Stevens announced that systems engineering assistant professor Ting Liao received an NSF CAREER award. Her project will study trust in human-AI collaboration and develop systems that adapt to users during engineering design.
Stevens expands research partnership with Hackensack Meridian Health
The institutions agreed to expand their research collaboration across engineering, AI and healthcare. The agreement creates visiting research faculty appointments and supports joint studies, including research on healthy aging.
Stevens reports $87 million in FY2026 research funding
Stevens reported $87 million in externally sponsored research funding, approximately 13% above FY2025. The university also awarded a record 92 Ph.D. degrees.
