Photonews Logo Photonews logo
  • Home
  • Pakistan
    • Punjab
    • Sindh
    • Khyber Pakhtunkhwa
    • Azad Jammu Kashmir
    • Balochistan
    • Gilgit – Baltistan
  • World
  • Business
  • Entertainment
  • Videos
    Last of Us Season 2
    Videos

    ‘The Last of Us’ Season 2 Premieres Date What to Expect From HBO’s Hit Series

    April 13, 2025 2 Min Read
    Disney Snow White box office
    Videos

    Snow White Teaser Drops: Gal Gadot and Rachel Zegler Shine

    February 22, 2025 1 Min Read
    Busin Ja Dhika song
    Videos

    Busin Ja Dhika Song: A Raw Pakistani Anthem Goes Viral

    February 21, 2025 2 Min Read
  • Sports
  • Technology
  • Offbeat
  • Blog
  • Contact
Reading: DeepSeek-Prover-V2: Open-Source AI Model for Formal Math Proofs Released
PhotoNews Pakistan PhotoNews Pakistan
Font ResizerAa
Search
  • Home
  • Pakistan
    • Punjab
    • Sindh
    • Khyber Pakhtunkhwa
    • Balochistan
    • Azad Jammu Kashmir
    • Gilgit – Baltistan
  • World
  • Business
  • Entertainment
  • Videos
  • Sports
  • Technology
  • Offbeat
  • Blog
  • Contact
Have an existing account? Sign In
Follow US
© 2022 Photonews. All Rights Reserved.
DeepSeek-Prover-V2
PhotoNews Pakistan > Tech > DeepSeek-Prover-V2: Open-Source AI Model for Formal Math Proofs Released
Tech

DeepSeek-Prover-V2: Open-Source AI Model for Formal Math Proofs Released

Web Desk
By Web Desk Published May 1, 2025 3 Min Read
Share
DeepSeek. Photo Credits: Jaap Arriens/ NurPhoto via Getty Images
SHARE

DeepSeek, an artificial intelligence company based in Hangzhou, China, has unveiled its latest innovation: DeepSeek-Prover-V2, an advanced open-source AI model specifically designed for formal mathematical theorem proving.

DeepSeek-Prover-V2 is built to analyse and verify mathematical proofs for logical consistency. DeepSeek-Prover-V2 leverages the Lean 4 programming language and represents a significant step forward in automated reasoning and mathematics-focused AI.

We just released DeepSeek-Prover V2.
– Solves nearly 90% of miniF2F problems
– Significantly improves the SoTA performance on the PutnamBench
– Achieves a non-trivial pass rate on AIME 24 & 25 problems in their formal version

Github: https://t.co/E3p8SWFpvi pic.twitter.com/ialqSgy4uV

— Zhihong Shao (@zhs05232838) April 30, 2025

The model is available in a 7 billion parameter version and a much larger 671 billion parameter version. The larger model is based on DeepSeek-V3-Base, while the smaller one builds on DeepSeek-Prover-V1.5-Base, offering a context window of up to 32,000 tokens. DeepSeek-Prover-V2 can solve a wide range of mathematical problems, from high school to college level, and can also find and correct errors in existing proofs. Its applications extend to serving as a teaching tool, providing step-by-step explanations, and assisting researchers and mathematicians in exploring and validating new theorems.

A significant technical advancement in this release is implementing a cold-start training system. This approach encourages the base model to decompose complex problems into smaller, manageable subgoals. This method improves the model’s ability to handle intricate proofs and supports reinforcement learning from the initial training phase.

China is cooking!

DeepSeek has just dropped Deepseek-Prover-V2-671B, a new 671B parameters math model.

R2 is coming veeeery soon… pic.twitter.com/whlir4wCte

— Angry Tom (@AngryTomtweets) April 30, 2025

DeepSeek-Prover-V2 continues the company’s tradition of open-source releases, with the model available for download on both GitHub and Hugging Face. While the core architectural details and the full scope of the training dataset remain undisclosed, the release demonstrates how iterative improvements in AI training can lead to significant gains in specialised capabilities. The model is under the MIT License for code and a permissive license for weights, facilitating widespread use in academic and commercial contexts.

Read: Trump Administration Targets DeepSeek with New AI Restrictions

With DeepSeek-Prover-V2, DeepSeek is pushing the boundaries of AI in mathematics, offering a powerful tool for educators, students, and researchers worldwide, and further establishing China’s presence in the global AI landscape.

TAGGED:Featured
Share This Article
Facebook Twitter Pinterest Whatsapp Whatsapp LinkedIn Email Copy Link Print
Leave a comment

Leave a Reply Cancel reply

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

Advertisement

For more info visit Bank Alfalah

Recent Posts

Kanye West antisemitism apology

Kanye West Renounces Antisemitism in X Posts, Seeks Forgiveness

718 Boxster and Cayman

Porsche to End Petrol-Powered 718 Boxster and Cayman Production in October 2025

North Korea destroyer

North Korea’s Naval Destroyer Damaged in Failed Launch, Kim Jong Un Furious

MrBeast billionaire 2025

MrBeast Becomes Only Self-Made Billionaire Under 30 at Age 27

Pakistan vehicle prices 2025

Pakistan 2025-26 Budget: No Vehicle Price Cuts, Says Auto Expert

Post Archives

More Popular from Photonews

Punjab Schools Summer Vacations
Pakistan

Punjab Schools Announce Summer Vacation from May 28 Amid Heatwave

2 Min Read
Brooklyn Bridge collision
Top NewsWorld

Mexican Navy Ship Collides with Brooklyn Bridge, Injures 19

2 Min Read
Jarred Shaw drug smuggling
Sports

Jarred Shaw Faces Death Penalty in Indonesia for Alleged Drug Smuggling

2 Min Read
Pakistan

Najam Sethi Reports Imran Khan’s Meeting With Non Political Figure in Adiala Jail

On May 16, 2025, Pakistani journalist Najam Sethi reported on Samaa TV that on May 6,…

May 17, 2025
Tech

Apple Settlement Alert: How to Secure Your Share

On January 2, 2025, Apple settled the Lopez v. Apple Inc. class action lawsuit for $95…

May 20, 2025
Sports

HBL PSL X: Karachi Kings Clinch Playoff Spot, Zalmi vs. Qalandars in Knockout Clash

On May 17, 2025, Karachi Kings secured their place in the HBL Pakistan Super League (PSL)…

May 18, 2025
Tech

Why Gen Z Embraces Data Sharing with Verb.Ai’s Transparent Model

Generation Z is reshaping data sharing norms, willingly exchanging personal information for incentives through platforms like…

May 21, 2025
PhotoNews Pakistan

Always Stay Up to Date

Subscribe to our newsletter to get our newest articles instantly!

Categories

  • World
  • Pakistan
  • Punjab
  • Sindh
  • Khyber Pakhtunkhwa
  • Balochistan
  • Azad Jammu Kashmir

 

  • Top News
  • Business
  • Entertainment
  • Sports
  • Videos
  • Tech
  • Offbeat
  • Blog

© 2024 Phototnews
All Rights Reserved.

Welcome Back!

Sign in to your account

Lost your password?