Hosted on MSN

DeepSeek releases first open AI model with gold-level scores at maths olympiad

'Imagine owning the brain of one of the best mathematicians in the world for free,' Hugging Face CEO Clement Delangue says in a post on X Chinese artificial intelligence company DeepSeek has released ...
GIGAZINE

DeepSeek releases AI model 'DeepSeek-Math-V2' specialized for mathematical reasoning, achieving a gold medal-level accuracy rate at the International Mathematical Olympiad

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

Overseas AI models outperform Korean rivals in CSAT math tests

Korean artificial intelligence (AI) models being developed under the government’s bid to assert technological sovereignty ...
Scientific American

Can Writing Math Proofs Teach AI to Reason Like Humans?

A few months before the 2025 International Mathematical Olympiad (IMO) in July, a three-person team at OpenAI made a long bet that they could use the competition’s brutally tough problems to train an ...
VentureBeat

Microsoft’s GRIN-MoE AI model takes on coding and math, beating competitors in key benchmarks

Join our daily and weekly newsletters for the latest updates and exclusive content on industry-leading AI coverage. Learn More Microsoft has unveiled a groundbreaking artificial intelligence model, ...