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

Microsoft found that small language models can exceed the performance of much larger ones when trained to specialize in a single area. Researchers fine-tuned the Mistral 7B model to create Orca-Math, ...

DeepSeek has reportedly open-sourced Prover-V2 model, a new specialist artificial intelligence model, as competition heated up within China's AI industry. The announcement comes a day after Alibaba ...

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

Mark Zuckerberg during an interview at Meta headquarters in Menlo Park, California.. Photo: Getty Images Meta Platforms released the biggest version of its mostly free Llama 3 artificial intelligence ...

Nous Research, the San Francisco-based artificial intelligence startup, released on Tuesday an open-source mathematical reasoning system called Nomos 1 that achieved near-elite human performance on ...

Have you ever found yourself frustrated by the limitations of AI models when tackling complex tasks like coding or solving intricate math problems? It’s a common struggle—balancing the need for ...

A research team affiliated with UNIST has unveiled a novel AI system capable of grading and providing detailed feedback on ...