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.

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 ...

HANGZHOU -- Chinese AI firm DeepSeek has launched DeepSeekMath-V2, a groundbreaking mathematical reasoning model that sets new performance benchmarks and pushes the frontiers of AI-powered ...

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

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 ...

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

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

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, ...

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 ...