By Ronil Thakkar / KnowTechie 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.

Google has announced the Gemini 2.5 Pro Deep Think AI model, which uses 'parallel thinking' for great performance in math and coding tasks.

OpenAI said 03 mini is the "most cost-efficient model" in its reasoning series. It's meant to handle complex questions, and OpenAI said it's particularly strong in science, math, and coding.

The company has yet to provide any details about the model on its Hugging Face page. Uploaded files viewed by the Post suggest that it was built on top of DeepSeek’s V3 model, which has 671 ...

Hugging Face is an open-source artificial intelligence community. The Prover series has domain-specific models made to solve math-related problems, the report added.

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

Google’s Gemini 2.5 Pro is Better at Coding, Math & Science Than Your Favourite AI Model Your email has been sent Gemini 2.5 Pro is a multimodal, reasoning model that outperforms competitors ...

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

Vinton found the work exciting despite its limits. “It’s a model to represent the real world, so it’s not going to capture all of the complexity that we see in coral,” she said. “But it does [capture] ...

The model, known as s1, performs similarly to cutting-edge reasoning models, such as OpenAI’s o1 and DeepSeek’s R1, on tests measuring math and coding abilities.

A DeepSeek demo Here's the math problem Snell suggested for BI's DeepSeek demo: "Find a sequence of +, -, /, * which can be applied to the numbers 7, 3, 11, 5 to get to 24, where each of the given ...