Friday, 10 Oct 2025
  • Contact
  • Privacy Policy
  • Terms & Conditions
  • DMCA
logo logo
  • World
  • Politics
  • Crime
  • Economy
  • Tech & Science
  • Sports
  • Entertainment
  • More
    • Education
    • Celebrities
    • Culture and Arts
    • Environment
    • Health and Wellness
    • Lifestyle
  • 🔥
  • Trump
  • VIDEO
  • House
  • White
  • ScienceAlert
  • Trumps
  • Watch
  • man
  • Health
  • Season
Font ResizerAa
American FocusAmerican Focus
Search
  • World
  • Politics
  • Crime
  • Economy
  • Tech & Science
  • Sports
  • Entertainment
  • More
    • Education
    • Celebrities
    • Culture and Arts
    • Environment
    • Health and Wellness
    • Lifestyle
Follow US
© 2024 americanfocus.online – All Rights Reserved.
American Focus > Blog > Tech and Science > DeepSeek upgrades its AI model for math problem solving
Tech and Science

DeepSeek upgrades its AI model for math problem solving

Last updated: April 30, 2025 5:24 am
Share
DeepSeek upgrades its AI model for math problem solving
SHARE

DeepSeek AI Lab Releases Updated Version of Prover AI System

Chinese AI lab DeepSeek has recently unveiled an updated version of its AI system, Prover, designed specifically for solving math-related proofs and theorems. The latest version, V2, was quietly uploaded to the AI development platform Hugging Face, showcasing significant advancements in the field of artificial intelligence.

The new Prover V2 model is built upon DeepSeek’s V3 model, boasting an impressive 671 billion parameters and adopting a sophisticated mixture-of-experts (MoE) architecture. These parameters essentially represent the model’s problem-solving capabilities, while the MoE approach breaks down tasks into smaller subtasks and delegates them to specialized “expert” components for enhanced performance.

DeepSeek’s previous update to Prover was in August, where it was hailed as a custom model for formal theorem proving and mathematical reasoning. This latest version further solidifies the lab’s commitment to innovation and excellence in the AI domain.

According to a report by South China Morning Post, DeepSeek, known for its recent release of the upgraded V3 general-purpose model, is also expected to update its R1 “reasoning” model in the near future. The lab’s continuous efforts to enhance its AI models have garnered significant attention, with reports suggesting that DeepSeek may be considering external funding for the first time.

See also  A Hidden Supermassive Black Hole Has Just Revealed Itself in Deep Space : ScienceAlert
TAGGED:DeepSeekMathModelproblemSolvingUpgrades
Share This Article
Twitter Email Copy Link Print
Previous Article Chris Hemsworth And Elsa Pataky’s Secret Life Abroad Sparks Split Fears Chris Hemsworth And Elsa Pataky’s Secret Life Abroad Sparks Split Fears
Next Article Run Wild to Your Favorite Streaming Platform: Barbra Streisand Has a New Album Coming Run Wild to Your Favorite Streaming Platform: Barbra Streisand Has a New Album Coming
Leave a comment

Leave a Reply Cancel reply

Your email address will not be published. Required fields are marked *

Popular Posts

Global stocks lifted by US reprieve for Donald Trump’s tech tariffs

Unlock the White House Watch newsletter for free If you've been following the 2024 US…

April 14, 2025

Starbucks to Cut 900 Jobs, Shutter Underperforming Stores

This article was originally published by The Epoch Times: Starbucks to Cut 900 Jobs and…

September 26, 2025

An ancient Roman basilica has been discovered below London’s financial district : NPR

An archaeologist is seen on a screenshot from a video of an excavation in the…

February 18, 2025

The Murdochs’ Fox Corp. Wants to Own a Piece of TikTok

Fox Corp., under the leadership of chairman and CEO Lachlan Murdoch, is currently in discussions…

September 22, 2025

The Summer Work Bags Vogue Editors Use Everyday

As for summer work bags, I am currently eyeing the Bottega Veneta Jodie bag in…

July 4, 2025

You Might Also Like

Physicists are uncovering when nature’s strongest force falters
Tech and Science

Physicists are uncovering when nature’s strongest force falters

October 10, 2025
In a First, Pig Liver Helped a Cancer Patient Survive for More Than a Month
Tech and Science

In a First, Pig Liver Helped a Cancer Patient Survive for More Than a Month

October 10, 2025
Want to See the Best Fall Colors This Year? Science Has the Answer
Tech and Science

Want to See the Best Fall Colors This Year? Science Has the Answer

October 10, 2025
Reviewed: The mid-range Galaxy S25 FE is flawed in all the right ways
Tech and Science

Reviewed: The mid-range Galaxy S25 FE is flawed in all the right ways

October 10, 2025
logo logo
Facebook Twitter Youtube

About US


Explore global affairs, political insights, and linguistic origins. Stay informed with our comprehensive coverage of world news, politics, and Lifestyle.

Top Categories
  • Crime
  • Environment
  • Sports
  • Tech and Science
Usefull Links
  • Contact
  • Privacy Policy
  • Terms & Conditions
  • DMCA

© 2024 americanfocus.online –  All Rights Reserved.

Welcome Back!

Sign in to your account

Lost your password?