A peer-reviewed paper about Chinese startup DeepSeek's models explains their training approach but not how they work through ...

Chinese startup DeepSeek has developed a new open-weight AI model, Math-V2, capable of generating and self-verifying complex ...

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

Mathematical reasoning is a fundamental aspect of intelligence, encompassing a spectrum from basic arithmetic to intricate ...

A proposed revision of the state’s math standards would dump existing upper-level requirements and replace them with a menu ...

Harmonic, the math-focused AI startup founded by Robinhood’s CEO, has reached a $1.45B valuation after a major funding round ...

Researchers have used metamathematical techniques to show that certain theorems that look superficially distinct are in fact ...

To make large language models (LLMs) more accurate when answering harder questions, researchers can let the model spend more ...

DeepSeek, a Chinese AI company that shocked the world earlier this year by achieving performance comparable to leading AI ...

DeepSeek released an AI model that the company said could solve five out of six problems on this year’s International Math Olympiad, a performance that would have earned a human competitor a gold ...

The Hangzhou-based company released DeepSeek-V3.2 and a more specialized variant, DeepSeek-V3.2-Speciale, which it says can ...

Now, Chinese AI startup DeepSeek has made its Math-V2 model widely available, open-sourcing it on Hugging Face and GitHub ...