DeepSeek’s stealthy Prover-V2 release hints at AI’s next leap in math reasoning: What 671 billion parameters mean for algorithmic breakthroughs

April 30, 2025

THE NBW BRIEF

DeepSeek’s Quiet Prover-V2 Release Sparks Speculation Hangzhou-based DeepSeek discreetly dropped its Prover-V2 model on Hugging Face, boasting 671 billion parameters and a mixture-of-experts architecture. As its new R2 reasoning model looms, industry eyes are on potential math-centric AI breakthroughs.

Source: scmp.com

Make sense of what's next.

A clear-eyed digest of AI, products, and ideas worth understanding. Join the NextBigWhat newsletter.

more AI news

ChatGPT link Vulnerability Exposes private Chats to Attackers

A vulnerability in shared ChatGPT links could let attackers execute code and access private chats, raising serious security concerns.

Goldman Sachs restricts AI tools for traders and bankers

Goldman Sachs has banned traders from using AI coding tools, citing productivity and risk concerns after a trial period of usage.

Mistral’s ‘Le Chonk’ AI model goes open source with new weights

Mistral has unveiled open weights for its Mistral Large 4 model, enabling companies to run advanced AI securely on their own hardware.

Google Introduces One-Tap App Installs for Android from global stores

Google will enable one-tap app installs from approved third-party stores outside the U.S., enhancing accessibility for Android users.

Microsoft’s OpenAI partnership nets $10 billion in revenue

Microsoft’s financial ties with OpenAI remain strong, generating $10 billion in revenue in a single quarter amid a competitive landscape.

Samsung shatters profit records thanks to AI chip demand

Samsung’s record-breaking Q3 profit is fueled by skyrocketing demand for AI memory chips, marking a historic milestone in the tech industry.