{"id":2212,"date":"2025-04-30T16:02:03","date_gmt":"2025-04-30T16:02:03","guid":{"rendered":"http:\/\/localhost\/veedronblog\/?p=2212"},"modified":"2025-04-30T16:02:05","modified_gmt":"2025-04-30T16:02:05","slug":"deepseek-upgrades-its-math-focused-ai-model-prover","status":"publish","type":"post","link":"https:\/\/veedron.ng\/blog\/2025\/04\/30\/deepseek-upgrades-its-math-focused-ai-model-prover\/","title":{"rendered":"DeepSeek upgrades its math-focused AI model Prover"},"content":{"rendered":"\n<p><\/p>\n\n\n\n<p>Chinese AI lab DeepSeek has quietly updated\u00a0Prover, its AI model that\u2019s designed to solve math-related proofs and theorems.<\/p>\n\n\n\n<p>According to\u00a0South China Morning Post, DeepSeek uploaded the latest version of Prover, V2, and a\u00a0distilled variant\u00a0to AI dev platform Hugging Face late on Wednesday. It appears to be built on top of the startup\u2019s V3 model, which has 671 billion parameters and adopts a mixture-of-experts (MoE) architecture.<\/p>\n\n\n\n<p>Parameters roughly correspond to a model\u2019s problem-solving skills, while MoE breaks down tasks into subtasks and delegates them to smaller, specialized \u201cexpert\u201d components.&nbsp;<\/p>\n\n\n\n<p>DeepSeek last updated Prover in August, describing it at the time as a custom openly available AI model for formal theorem proving and mathematical reasoning.<\/p>\n\n\n\n<p>In February,\u00a0Reuters reported\u00a0that DeepSeek was said to be considering raising outside funding for the first time. The company recently released an upgraded version of V3, a general-purpose model, and is expected to update its R1 \u201creasoning\u201d model soon.<\/p>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"Chinese AI lab DeepSeek has quietly updated\u00a0Prover, its AI model that\u2019s designed to solve math-related proofs and theorems.&hellip;\n","protected":false},"author":1,"featured_media":2213,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"csco_singular_sidebar":"","csco_page_header_type":"","csco_appearance_grid":"","csco_page_load_nextpost":"","csco_post_video_location":[],"csco_post_video_location_hash":"","csco_post_video_url":"","csco_post_video_bg_start_time":0,"csco_post_video_bg_end_time":0,"footnotes":""},"categories":[13,14],"tags":[],"class_list":{"0":"post-2212","1":"post","2":"type-post","3":"status-publish","4":"format-standard","5":"has-post-thumbnail","7":"category-ai","8":"category-news","9":"cs-entry","10":"cs-video-wrap"},"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v25.0 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>DeepSeek upgrades its math-focused AI model Prover - Veedron Blog<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/veedron.ng\/blog\/2025\/04\/30\/deepseek-upgrades-its-math-focused-ai-model-prover\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"DeepSeek upgrades its math-focused AI model Prover - Veedron Blog\" \/>\n<meta property=\"og:description\" content=\"Chinese AI lab DeepSeek has quietly updated\u00a0Prover, its AI model that\u2019s designed to solve math-related proofs and theorems.&hellip;\" \/>\n<meta property=\"og:url\" content=\"https:\/\/veedron.ng\/blog\/2025\/04\/30\/deepseek-upgrades-its-math-focused-ai-model-prover\/\" \/>\n<meta property=\"og:site_name\" content=\"Veedron Blog\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/facebook.com\/veedron\" \/>\n<meta property=\"article:published_time\" content=\"2025-04-30T16:02:03+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-04-30T16:02:05+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/veedron.ng\/blog\/wp-content\/uploads\/2025\/04\/images.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"275\" \/>\n\t<meta property=\"og:image:height\" content=\"183\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"admin\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:creator\" content=\"@_veedron\" \/>\n<meta name=\"twitter:site\" content=\"@_veedron\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"admin\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/veedron.ng\/blog\/2025\/04\/30\/deepseek-upgrades-its-math-focused-ai-model-prover\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/veedron.ng\/blog\/2025\/04\/30\/deepseek-upgrades-its-math-focused-ai-model-prover\/\"},\"author\":{\"name\":\"admin\",\"@id\":\"https:\/\/veedron.ng\/blog\/#\/schema\/person\/0aa6fc0ae7fea557a8088f67bdb842c6\"},\"headline\":\"DeepSeek upgrades its math-focused AI model Prover\",\"datePublished\":\"2025-04-30T16:02:03+00:00\",\"dateModified\":\"2025-04-30T16:02:05+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/veedron.ng\/blog\/2025\/04\/30\/deepseek-upgrades-its-math-focused-ai-model-prover\/\"},\"wordCount\":167,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/veedron.ng\/blog\/#organization\"},\"image\":{\"@id\":\"https:\/\/veedron.ng\/blog\/2025\/04\/30\/deepseek-upgrades-its-math-focused-ai-model-prover\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/veedron.ng\/blog\/wp-content\/uploads\/2025\/04\/images.jpg\",\"articleSection\":[\"AI\",\"News\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/veedron.ng\/blog\/2025\/04\/30\/deepseek-upgrades-its-math-focused-ai-model-prover\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/veedron.ng\/blog\/2025\/04\/30\/deepseek-upgrades-its-math-focused-ai-model-prover\/\",\"url\":\"https:\/\/veedron.ng\/blog\/2025\/04\/30\/deepseek-upgrades-its-math-focused-ai-model-prover\/\",\"name\":\"DeepSeek upgrades its math-focused AI model Prover - Veedron Blog\",\"isPartOf\":{\"@id\":\"https:\/\/veedron.ng\/blog\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/veedron.ng\/blog\/2025\/04\/30\/deepseek-upgrades-its-math-focused-ai-model-prover\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/veedron.ng\/blog\/2025\/04\/30\/deepseek-upgrades-its-math-focused-ai-model-prover\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/veedron.ng\/blog\/wp-content\/uploads\/2025\/04\/images.jpg\",\"datePublished\":\"2025-04-30T16:02:03+00:00\",\"dateModified\":\"2025-04-30T16:02:05+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/veedron.ng\/blog\/2025\/04\/30\/deepseek-upgrades-its-math-focused-ai-model-prover\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/veedron.ng\/blog\/2025\/04\/30\/deepseek-upgrades-its-math-focused-ai-model-prover\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/veedron.ng\/blog\/2025\/04\/30\/deepseek-upgrades-its-math-focused-ai-model-prover\/#primaryimage\",\"url\":\"https:\/\/veedron.ng\/blog\/wp-content\/uploads\/2025\/04\/images.jpg\",\"contentUrl\":\"https:\/\/veedron.ng\/blog\/wp-content\/uploads\/2025\/04\/images.jpg\",\"width\":275,\"height\":183},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/veedron.ng\/blog\/2025\/04\/30\/deepseek-upgrades-its-math-focused-ai-model-prover\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/veedron.ng\/blog\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"DeepSeek upgrades its math-focused AI model Prover\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/veedron.ng\/blog\/#website\",\"url\":\"https:\/\/veedron.ng\/blog\/\",\"name\":\"Veedron Blog\",\"description\":\"It&#039;s all about tech\",\"publisher\":{\"@id\":\"https:\/\/veedron.ng\/blog\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/veedron.ng\/blog\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/veedron.ng\/blog\/#organization\",\"name\":\"Veedron Blog\",\"url\":\"https:\/\/veedron.ng\/blog\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/veedron.ng\/blog\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/veedron.ng\/blog\/wp-content\/uploads\/2025\/04\/veedron_blog_logo_black.png\",\"contentUrl\":\"https:\/\/veedron.ng\/blog\/wp-content\/uploads\/2025\/04\/veedron_blog_logo_black.png\",\"width\":666,\"height\":145,\"caption\":\"Veedron Blog\"},\"image\":{\"@id\":\"https:\/\/veedron.ng\/blog\/#\/schema\/logo\/image\/\"},\"sameAs\":[\"https:\/\/facebook.com\/veedron\",\"https:\/\/x.com\/_veedron\",\"https:\/\/www.instagram.com\/veedron\"]},{\"@type\":\"Person\",\"@id\":\"https:\/\/veedron.ng\/blog\/#\/schema\/person\/0aa6fc0ae7fea557a8088f67bdb842c6\",\"name\":\"admin\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/veedron.ng\/blog\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/d2cd05bd1a4bda6fb7b2c8494da5cfbab113c5956dc6cdea71d2eb79192208a4?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/d2cd05bd1a4bda6fb7b2c8494da5cfbab113c5956dc6cdea71d2eb79192208a4?s=96&d=mm&r=g\",\"caption\":\"admin\"},\"sameAs\":[\"http:\/\/localhost\/veedronblog\"],\"url\":\"https:\/\/veedron.ng\/blog\/author\/admin\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"DeepSeek upgrades its math-focused AI model Prover - Veedron Blog","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/veedron.ng\/blog\/2025\/04\/30\/deepseek-upgrades-its-math-focused-ai-model-prover\/","og_locale":"en_US","og_type":"article","og_title":"DeepSeek upgrades its math-focused AI model Prover - Veedron Blog","og_description":"Chinese AI lab DeepSeek has quietly updated\u00a0Prover, its AI model that\u2019s designed to solve math-related proofs and theorems.&hellip;","og_url":"https:\/\/veedron.ng\/blog\/2025\/04\/30\/deepseek-upgrades-its-math-focused-ai-model-prover\/","og_site_name":"Veedron Blog","article_publisher":"https:\/\/facebook.com\/veedron","article_published_time":"2025-04-30T16:02:03+00:00","article_modified_time":"2025-04-30T16:02:05+00:00","og_image":[{"width":275,"height":183,"url":"https:\/\/veedron.ng\/blog\/wp-content\/uploads\/2025\/04\/images.jpg","type":"image\/jpeg"}],"author":"admin","twitter_card":"summary_large_image","twitter_creator":"@_veedron","twitter_site":"@_veedron","twitter_misc":{"Written by":"admin","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/veedron.ng\/blog\/2025\/04\/30\/deepseek-upgrades-its-math-focused-ai-model-prover\/#article","isPartOf":{"@id":"https:\/\/veedron.ng\/blog\/2025\/04\/30\/deepseek-upgrades-its-math-focused-ai-model-prover\/"},"author":{"name":"admin","@id":"https:\/\/veedron.ng\/blog\/#\/schema\/person\/0aa6fc0ae7fea557a8088f67bdb842c6"},"headline":"DeepSeek upgrades its math-focused AI model Prover","datePublished":"2025-04-30T16:02:03+00:00","dateModified":"2025-04-30T16:02:05+00:00","mainEntityOfPage":{"@id":"https:\/\/veedron.ng\/blog\/2025\/04\/30\/deepseek-upgrades-its-math-focused-ai-model-prover\/"},"wordCount":167,"commentCount":0,"publisher":{"@id":"https:\/\/veedron.ng\/blog\/#organization"},"image":{"@id":"https:\/\/veedron.ng\/blog\/2025\/04\/30\/deepseek-upgrades-its-math-focused-ai-model-prover\/#primaryimage"},"thumbnailUrl":"https:\/\/veedron.ng\/blog\/wp-content\/uploads\/2025\/04\/images.jpg","articleSection":["AI","News"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/veedron.ng\/blog\/2025\/04\/30\/deepseek-upgrades-its-math-focused-ai-model-prover\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/veedron.ng\/blog\/2025\/04\/30\/deepseek-upgrades-its-math-focused-ai-model-prover\/","url":"https:\/\/veedron.ng\/blog\/2025\/04\/30\/deepseek-upgrades-its-math-focused-ai-model-prover\/","name":"DeepSeek upgrades its math-focused AI model Prover - Veedron Blog","isPartOf":{"@id":"https:\/\/veedron.ng\/blog\/#website"},"primaryImageOfPage":{"@id":"https:\/\/veedron.ng\/blog\/2025\/04\/30\/deepseek-upgrades-its-math-focused-ai-model-prover\/#primaryimage"},"image":{"@id":"https:\/\/veedron.ng\/blog\/2025\/04\/30\/deepseek-upgrades-its-math-focused-ai-model-prover\/#primaryimage"},"thumbnailUrl":"https:\/\/veedron.ng\/blog\/wp-content\/uploads\/2025\/04\/images.jpg","datePublished":"2025-04-30T16:02:03+00:00","dateModified":"2025-04-30T16:02:05+00:00","breadcrumb":{"@id":"https:\/\/veedron.ng\/blog\/2025\/04\/30\/deepseek-upgrades-its-math-focused-ai-model-prover\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/veedron.ng\/blog\/2025\/04\/30\/deepseek-upgrades-its-math-focused-ai-model-prover\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/veedron.ng\/blog\/2025\/04\/30\/deepseek-upgrades-its-math-focused-ai-model-prover\/#primaryimage","url":"https:\/\/veedron.ng\/blog\/wp-content\/uploads\/2025\/04\/images.jpg","contentUrl":"https:\/\/veedron.ng\/blog\/wp-content\/uploads\/2025\/04\/images.jpg","width":275,"height":183},{"@type":"BreadcrumbList","@id":"https:\/\/veedron.ng\/blog\/2025\/04\/30\/deepseek-upgrades-its-math-focused-ai-model-prover\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/veedron.ng\/blog\/"},{"@type":"ListItem","position":2,"name":"DeepSeek upgrades its math-focused AI model Prover"}]},{"@type":"WebSite","@id":"https:\/\/veedron.ng\/blog\/#website","url":"https:\/\/veedron.ng\/blog\/","name":"Veedron Blog","description":"It&#039;s all about tech","publisher":{"@id":"https:\/\/veedron.ng\/blog\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/veedron.ng\/blog\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/veedron.ng\/blog\/#organization","name":"Veedron Blog","url":"https:\/\/veedron.ng\/blog\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/veedron.ng\/blog\/#\/schema\/logo\/image\/","url":"https:\/\/veedron.ng\/blog\/wp-content\/uploads\/2025\/04\/veedron_blog_logo_black.png","contentUrl":"https:\/\/veedron.ng\/blog\/wp-content\/uploads\/2025\/04\/veedron_blog_logo_black.png","width":666,"height":145,"caption":"Veedron Blog"},"image":{"@id":"https:\/\/veedron.ng\/blog\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/facebook.com\/veedron","https:\/\/x.com\/_veedron","https:\/\/www.instagram.com\/veedron"]},{"@type":"Person","@id":"https:\/\/veedron.ng\/blog\/#\/schema\/person\/0aa6fc0ae7fea557a8088f67bdb842c6","name":"admin","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/veedron.ng\/blog\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/d2cd05bd1a4bda6fb7b2c8494da5cfbab113c5956dc6cdea71d2eb79192208a4?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/d2cd05bd1a4bda6fb7b2c8494da5cfbab113c5956dc6cdea71d2eb79192208a4?s=96&d=mm&r=g","caption":"admin"},"sameAs":["http:\/\/localhost\/veedronblog"],"url":"https:\/\/veedron.ng\/blog\/author\/admin\/"}]}},"_links":{"self":[{"href":"https:\/\/veedron.ng\/blog\/wp-json\/wp\/v2\/posts\/2212","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/veedron.ng\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/veedron.ng\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/veedron.ng\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/veedron.ng\/blog\/wp-json\/wp\/v2\/comments?post=2212"}],"version-history":[{"count":1,"href":"https:\/\/veedron.ng\/blog\/wp-json\/wp\/v2\/posts\/2212\/revisions"}],"predecessor-version":[{"id":2214,"href":"https:\/\/veedron.ng\/blog\/wp-json\/wp\/v2\/posts\/2212\/revisions\/2214"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/veedron.ng\/blog\/wp-json\/wp\/v2\/media\/2213"}],"wp:attachment":[{"href":"https:\/\/veedron.ng\/blog\/wp-json\/wp\/v2\/media?parent=2212"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/veedron.ng\/blog\/wp-json\/wp\/v2\/categories?post=2212"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/veedron.ng\/blog\/wp-json\/wp\/v2\/tags?post=2212"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}