DeepSeek has introduced DeepSeekMath-V2, a new mathematical reasoning model that shifts the focus from achieving correct final answers to ensuring rigorous, verifiable reasoning. This model addresses ...

DeepSeek released DeepSeek-Math-V2, an AI model specialized for mathematical reasoning, on November 27, 2025. DeepSeek-Math-V2 focuses on theorem proving and self-verification capabilities, and ...

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. The funding is intended ...

Ribbit Capital Leads Round at $1.45B Valuation of Math-Based AI Venture; Emerson Collective Joins Existing Backers Including Sequoia & Kleiner Perkins PALO ALTO, Calif.--(BUSINESS WIRE)--Harmonic, the ...

At the 2024 International Mathematical Olympiad (IMO), one competitor did so well that it would have been awarded the Silver Prize, except for one thing: it was an AI system. This was the first time ...

Researchers at Google Cloud and UCLA have proposed a new reinforcement learning framework that significantly improves the ability of language models to learn very challenging multi-step reasoning ...

David Cordeau, a math and coding teacher at Roslyn Middle School in East Hills, was convinced that the key to unlocking algebra was making it fun — that way his eighth graders could crack complex ...

Jessie (@littlejar) went viral for unveiling her so-called “Men Diagram,” a Venn diagram consisting of three overlapping circles, which is meant to encapsulate all possible types of men, starting with ...

Fractal Analytics, recently selected under the Central government’s IndiaAI Mission, expects to demonstrate its first models within six to eight months of project initiation and show substantial ...