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

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

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

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

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