Nous Research just released Nomos 1, an open-source AI that ranks second on the notoriously brutal Putnam math exam

Nous Research's open-source Nomos 1 AI model scored 87/120 on the notoriously difficult Putnam math competition, ranking ...
NewsBytes

DeepSeek's AI model checks itself and cracks Olympiad-level math problems

Chinese startup DeepSeek has developed a new open-weight AI model, Math-V2, capable of generating and self-verifying complex mathematical theorems.
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 ...
Forbes

After Moore’s Law, Do More Math. Structured Models For The Future

If you really want to get into the nuts and bolts of what's happening with learning models, listening to Joel Emer can be an instructive way to meditate on some of the principles likely to come into ...

DeepSeek’s math model hits Olympiad gold and goes fully open-source

China’s DeepSeek has released the world’s first open-source AI model capable of scoring at gold medal level in the ...
VentureBeat

Researchers find that large language models struggle with math

Mathematics is the foundation of countless sciences, allowing us to model things like planetary orbits, atomic motion, signal frequencies, protein folding, and more. Moreover, it’s a valuable testbed ...