The mathematical reasoning model performed as well as humans at prestigious international mathematics competitions.

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

Artificial intelligence for formal mathematical reasoning startup Harmonic AI Inc. announced today that it has raised $120 million in new funding on a $1.45 billion valuation.

DeepSeek had been somewhat under the radar since releasing its V3 and R1 models that first put China’s AI capabilities in focus, ...

A team of math and AI researchers at Microsoft Asia has designed and developed a small language model (SLM) that can be used to solve math problems. The group has posted a paper on the arXiv preprint ...

Google has introduced Gemini 3 Deep Think on Thursday, a powerful new reasoning mode for AI Ultra subscribers. It uses ...

Mathematical reasoning is a fundamental aspect of intelligence, encompassing a spectrum from basic arithmetic to intricate problem-solving. Recent investigations into the mathematical abilities of ...

DeepSeek-Math-V2 is said to match the performances of OpenAI and Google DeepMind’s models on problems from the International Maths Olympiad 2025.

Google has begun releasing Gemini 3 Deep Think mode to AI Ultra subscribers on the Gemini app. The feature is designed for ...

AI in finance is shifting from cold maths to reasoning-native models—systems that explain, verify, and build trust in banking and compliance. For years, artificial intelligence in finance has dazzled ...

As a mathematics education researcher, I study how math instruction impacts students' learning, from following standard math procedures to understanding mathematical concepts. Focusing on the latter, ...