Nvidia's Nemotron-Cascade 2 wins math and coding gold medals with 3B active parameters — and its post-training recipe is now open-source

Nvidia's Nemotron-Cascade 2 is a 30B MoE model that activates only 3B parameters at inference time, yet achieved gold ...
TechCrunch

DeepSeek upgrades its math-focused AI model Prover

Chinese AI lab DeepSeek has quietly updated Prover, its AI model that’s designed to solve math-related proofs and theorems. According to South China Morning Post, DeepSeek uploaded the latest version ...
Yahoo

OpenAI Model Earns Gold-Medal Score at International Math Olympiad and Advances Path to Artificial General Intelligence

Add Yahoo as a preferred source to see more of our stories on Google. A few months before the 2025 International Mathematical Olympiad (IMO) in July, a three-person team at OpenAI made a long bet that ...
Business Insider

This DeepSeek demo shows how good the Chinese AI model is at math and reasoning

Every time Alistair publishes a story, you’ll get an alert straight to your inbox! Enter your email By clicking “Sign up”, you agree to receive emails from ...
NextBigFuture

OpenAI o1 Model Sets New Math and Complex Reasoning Records

OpenAI o1 is a new large language model trained with reinforcement learning to perform complex reasoning. o1 thinks before it answers—it can produce a long internal chain of thought before responding ...
Seeking Alpha

DeepSeek updates open-source model that solves math-related problems-report

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