VentureBeat

New open-source math model Light-R1-32B surpasses equivalent DeepSeek performance with only $1000 in training costs

Researchers have introduced Light-R1-32B, a new open-source AI model optimized to solve advanced math problems. It is now available on Hugging Face under a permissive Apache 2.0 license — free for ...

For the First Time, ChatGPT Has Solved an Unproven Math Problem in Geometry

New research has found ChatGPT-5.2 can generate original mathematical proofs, introducing “vibe-proving” as a new AI ...

Nvidia's Nemotron-Cascade 2 wins math and coding gold medals with 3B active parameters — and its post-training recipe is now open-source

Nvidia's Nemotron-Cascade 2 is a 30B MoE model that activates only 3B parameters at inference time, yet achieved gold ...
The Chronicle of Higher Education

A Tech-Based Model to Teach Math Has Spread Across Higher Education. But for Some Students, Could It Do More Harm Than Good?

Two decades ago, a new way of teaching math drew interest and caught fire across higher education. Instead of having students sit in a lecture hall listening to a professor walk through mathematical ...
Rochester Institute of Technology

RIT to grow math workshops into national model

Rochester Institute of Technology has a winning formula for mathematics outreach and is poised to expand it into a national model with a $120,000 grant from the Toyota USA Foundation, a charitable ...
The Verge

Microsoft’s small math AI model does math better than the big boys.

Microsoft found that small language models can exceed the performance of much larger ones when trained to specialize in a single area. Researchers fine-tuned the Mistral 7B model to create Orca-Math, ...