DeepSeek’s new Math-V2 AI model can solve and self-verify complex theorems
Published on: Nov. 28, 2025, 11:56 a.m. | Source: The Indian Express
Chinese AI startup DeepSeek on Thursday, November 27, unveiled a new open-weight AI model designed to generate and self-verify mathematical theorems using advanced reasoning skills that the company says were developed specifically for this task. Named DeepSeek-Math-V2, the specialist mathematical reasoning LLM (large language model) is said to possess strong theorem-proving capabilities.
