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

AI solved a math problem that stumped experts for 80 years, revealing deeper lessons about human cognition, focus, and ...

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

OpenAI claims its model solved a famous geometry problem that has eluded the world’s greatest mathematicians for 80 years — a breakthrough hailed as evidence of the bot’s creativity and “intuition.” ...

OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who ...

OpenAI says its AI model solved a famous 80-year-old maths problem that puzzled experts for decades, marking a major breakthrough in AI-powered research and reasoning.

OpenAI today launched a new large language model series, o1, that can decode scrambled text, answer science questions with better accuracy than PhD holders and perform other complex tasks. The LLM ...

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

You're currently following this author! Want to unfollow? Unsubscribe via the link in your email. Chinese AI lab DeepSeek recently released AI models that match or exceed some of Silicon Valley's top ...

OpenAI has said that one of its unreleased AI reasoning models has solved a long-standing mathematics problem first proposed ...