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 ...
While DeepSeek's powerful new AI model, R1, has been grabbing headlines, the Chinese AI lab also quietly released a lighter, more efficient version of it. This smaller model, called ...
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 ...
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 ...
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 ...
Alphabet's (NASDAQ:GOOG) (NASDAQ:GOOGL) Google said its AI model won gold medal at a global mathematics competition, while Microsoft (NASDAQ:MSFT)-backed OpenAI also claimed that its experimental ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results