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

DeepSeek's AI models rival top Silicon Valley offerings, excelling in some complex tasks. The models use inference-time compute, breaking queries into smaller, manageable tasks. DeepSeek's DeepThink ...

ERNIE-4.5-21B-A3B-Thinking is available now on Hugging Face under an enterprise-friendly Apache 2.0 license — allowing for commercial usage — and is specifically optimized for advanced reasoning, tool ...

OpenAI has revealed that one of its unreleased models has achieved gold medal-level performance at the prestigious International Math Olympiad (IMO)—a rare accomplishment even among top-tier human ...

New quantum mechanics research is introducing an advanced Pi formula, optimizing complex computations and reshaping ...

Explore the ultimate AI showdown! Compare ChatGPT 5, Gemini Pro, Claude Opus 4.1, and Grok to find the best model for your needs.

OpenAI Model Wins Gold at International Mathematical Olympiad – or Did It? Your email has been sent A Google DeepMind researcher and OpenAI’s former CTO are posing questions about the validity of ...

On benchmark evaluations, K2 Think leads all other open-source models in competitive math performance. It scored 90.8 on AIME 2024, 81.2 on AIME 2025, and 73.8 on HMMT 2025, according to benchmarks ...