AI models are starting to crack high-level math problems

“I was curious to establish a baseline for when LLMs are effectively able to solve open math problems compared to where they ...
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 ...
VentureBeat

New open-source math model Light-R1-32B surpasses equivalent DeepSeek performance with only $1000 in training costs

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

Microsoft releases Phi-4 language model trained mainly on synthetic data

Microsoft Corp. has developed a small language model that can solve certain math problems better than algorithms several times its size. The company revealed the model, Phi-4, on Thursday. The ...
Neowin

Microsoft introduces Phi-4, a 14B parameter state-of-the-art small language model0 0

Early this year, Microsoft introduced the Phi-3 family of small language models. Today, Microsoft introduced Phi-4, a 14B parameter state-of-the-art small language model (SLM) that even beats OpenAI's ...
The Hechinger Report on MSN

Talk nerdy to me: Teachers who use math vocabulary help students do better in math

Using words like ‘factors,’ ‘denominators’ and ‘multiples’ may be part of a constellation of good math teaching practices ...