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 ...
Researchers have introduced Light-R1-32B, a new open-source AI model optimized to solve advanced math problems. It is now available on Hugging Face under a permissive Apache 2.0 license — free for ...
Three Vietnamese scientists have helped create AI that is able to solve Olympiad geometry problems as well as a human bronze medalist. Trinh Hoang Trieu, 29, Luong Minh Thang, 36, and Le Viet Quoc, 42 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results