{"id":6382,"date":"2025-05-01T10:29:02","date_gmt":"2025-05-01T10:29:02","guid":{"rendered":"https:\/\/www.myshirtai.com\/archives\/6382"},"modified":"2025-05-01T10:29:02","modified_gmt":"2025-05-01T10:29:02","slug":"deepseek%e5%8f%91%e5%b8%83prover-v2%e6%a8%a1%e5%9e%8b%ef%bc%9a671b%e5%8f%82%e6%95%b0%e5%8a%a9%e5%8a%9b%e6%95%b0%e5%ad%a6%e5%ae%9a%e7%90%86%e8%af%81%e6%98%8e","status":"publish","type":"post","link":"https:\/\/www.myshirtai.com\/pt\/archives\/6382","title":{"rendered":"DeepSeek lan\u00e7a modelo Prover-V2: Par\u00e2metros 671B impulsionam a prova de teoremas matem\u00e1ticos"},"content":{"rendered":"<p>Durante o Primeiro de maio, o DeepSeek mais uma vez trouxe grandes novidades para o campo da IA - o lan\u00e7amento do novo modelo DeepSeek-Prover-V2. Apesar dos recentes rumores que circulam na Web sobre o lan\u00e7amento iminente do DeepSeek-R2, o DeepSeek foi em frente e lan\u00e7ou este poderoso modelo focado na prova de teoremas matem\u00e1ticos, e continua a manter o seu habitual esp\u00edrito de c\u00f3digo aberto.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\u4e24\u6b3e\u5f3a\u5927\u6a21\u578b\u540c\u6b65\u5f00\u6e90\">Dois modelos poderosos sincronizados com a fonte aberta<\/h2>\n\n\n\n<p>Desta vez, o DeepSeek abriu duas vers\u00f5es do modelo DeepSeek-Prover-V2.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>DeepSeek-Prover-V2-671B<\/strong>: Constru\u00eddo sobre a base DeepSeek-V3 com 671 mil milh\u00f5es de par\u00e2metros, \u00e9 atualmente o rei do desempenho na prova de teoremas<\/li>\n\n\n\n<li><strong>Procura Profunda-V2-7B<\/strong>DeepSeek-Prover-V1.5-Base, com 7 mil milh\u00f5es de par\u00e2metros e suporte para comprimentos de contexto at\u00e9 32K tokens<\/li>\n<\/ul>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" src=\"https:\/\/school.myshirtai.com\/wp-content\/uploads\/2025\/05\/image-1.png\" alt=\"\" class=\"wp-image-423\"\/><\/figure>\n\n\n\n<p>Ambos os modelos foram oficialmente lan\u00e7ados na Hugging Face:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>DeepSeek-Prover-V2-7B. <\/strong><a href=\"https:\/\/huggingface.co\/deepseek-ai\/DeepSeek-Prover-V2-7B\">https:\/\/huggingface.co\/deepseek-ai\/DeepSeek-Prover-V2-7B<\/a><\/li>\n\n\n\n<li><strong>DeepSeek-Prover-V2-671B. <\/strong><a href=\"https:\/\/huggingface.co\/deepseek-ai\/DeepSeek-Prover-V2-671B\">https:\/\/huggingface.co\/deepseek-ai\/DeepSeek-Prover-V2-671B<\/a><\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\u4ec0\u4e48\u662fdeepseek-prover-v2\">O que \u00e9 o DeepSeek-Prover-V2?<\/h2>\n\n\n\n<p>O DeepSeek-Prover-V2 \u00e9 um modelo de linguagem grande de c\u00f3digo aberto para a \"linguagem de programa\u00e7\u00e3o matem\u00e1tica de IA\" Lean 4, com foco na prova formal de teoremas. Simplificando, ele pode transformar teoremas matem\u00e1ticos abstratos em provas rigorosas verific\u00e1veis por computador, trazendo uma ferramenta revolucion\u00e1ria para a pesquisa matem\u00e1tica.<\/p>\n\n\n\n<p>A sua melhor carater\u00edstica \u00e9 a capacidade de combinar perfeitamente o racioc\u00ednio matem\u00e1tico n\u00e3o formal (ou seja, normalmente utilizado pelos seres humanos) com provas formais rigorosas, permitindo ao modelo pensar de forma t\u00e3o flex\u00edvel como um ser humano e argumentar de forma t\u00e3o rigorosa como um computador, alcan\u00e7ando uma mistura integrada de racioc\u00ednio matem\u00e1tico.<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" src=\"https:\/\/school.myshirtai.com\/wp-content\/uploads\/2025\/05\/image.png\" alt=\"\" class=\"wp-image-422\"\/><\/figure>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\u60ca\u4eba\u6027\u80fd-\u5237\u65b0\u591a\u9879\u8bb0\u5f55\">Desempenho espantoso: bater muitos recordes<\/h2>\n\n\n\n<p>O DeepSeek-Prover-V2-671B mostra uma for\u00e7a sem precedentes em v\u00e1rios testes de prova de teoremas:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Atingiu uma taxa de aprova\u00e7\u00e3o recorde de 88,9% no conjunto de testes MiniF2F<\/li>\n\n\n\n<li>Resolveu com \u00eaxito 49 das 658 perguntas do conjunto de dados PutnamBench<\/li>\n\n\n\n<li>Tamb\u00e9m apresenta bons resultados em problemas dif\u00edceis de concursos de matem\u00e1tica, como os AIME 24 e 25<\/li>\n<\/ul>\n\n\n\n<p>Muitos internautas testaram o modelo e disseram que era ainda mais capaz de resolver problemas complexos de matem\u00e1tica do que modelos de topo como o o4-mini da OpenAI e o Grok-3 da XAI. Alguns estudantes que participaram nas Olimp\u00edadas de Matem\u00e1tica exclamaram: \"As Olimp\u00edadas nunca foram t\u00e3o f\u00e1ceis!\"<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" src=\"https:\/\/school.myshirtai.com\/wp-content\/uploads\/2025\/05\/image-4.png\" alt=\"\" class=\"wp-image-427\"\/><\/figure>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\u6280\u672f\u521b\u65b0-\u9012\u5f52\u4e0e\u5f3a\u5316\u5b66\u4e60\u7ed3\u5408\">Inova\u00e7\u00e3o tecnol\u00f3gica: combinar a aprendizagem recursiva e a aprendizagem por refor\u00e7o<\/h2>\n\n\n\n<p>No relat\u00f3rio t\u00e9cnico, a equipa DeepSeek revela a metodologia de forma\u00e7\u00e3o principal do Prover-V2, que se baseia numa combina\u00e7\u00e3o inovadora de aprendizagem recursiva + refor\u00e7o. O processo de treinamento do modelo \u00e9 dividido em v\u00e1rias etapas principais:<\/p>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"h-1-\u901a\u8fc7\u5b50\u76ee\u6807\u5206\u89e3\u5b9e\u73b0\u9012\u5f52\u5f0f\u8bc1\u660e\u641c\u7d22\">1) Pesquisa recursiva de provas atrav\u00e9s da decomposi\u00e7\u00e3o de objectivos secund\u00e1rios<\/h3>\n\n\n\n<p>O DeepSeek-Prover-V2 utiliza uma forma de pensar semelhante \u00e0 de um matem\u00e1tico humano - decompondo teoremas complexos numa s\u00e9rie de lemas mais pequenos para provar. O processo de implementa\u00e7\u00e3o espec\u00edfico inclui:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>O DeepSeek-V3 come\u00e7a por gerar esbo\u00e7os de provas em linguagem natural e formaliz\u00e1-los como enunciados de teoremas em linguagem Lean<\/li>\n\n\n\n<li>Os subobjectivos decompostos s\u00e3o ent\u00e3o resolvidos recursivamente utilizando o modelo de prova 7B<\/li>\n\n\n\n<li>Finalmente, as provas destes objectivos secund\u00e1rios s\u00e3o combinadas para construir uma prova formal completa do problema complexo original<\/li>\n<\/ul>\n\n\n\n<p>Esta abordagem n\u00e3o s\u00f3 melhora a efici\u00eancia da prova, como tamb\u00e9m alarga o leque de teoremas que o modelo pode tratar.<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" src=\"https:\/\/school.myshirtai.com\/wp-content\/uploads\/2025\/05\/image-2.png\" alt=\"\" class=\"wp-image-424\"\/><\/figure>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"h-2-\u7edf\u4e00\u975e\u5f62\u5f0f\u5316\u63a8\u7406\u4e0e\u5f62\u5f0f\u5316\u8bc1\u660e\">2. harmonizar o racioc\u00ednio n\u00e3o formal com as provas formais<\/h3>\n\n\n\n<p>A equipa do DeepSeek combinou inteligentemente o racioc\u00ednio de alto n\u00edvel em linguagem natural com processos de prova exacta de baixo n\u00edvel:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Escolha os problemas que s\u00e3o particularmente dif\u00edceis de resolver e divida-os em objectivos mais pequenos<\/li>\n\n\n\n<li>Quando os mini-objectivos s\u00e3o provados, s\u00e3o combinados numa prova rigorosa completa<\/li>\n\n\n\n<li>Adicione esta prova completa \u00e0 \"cadeia de pensamento\" gerada pelo DeepSeek-V3 para formar dados de forma\u00e7\u00e3o que combinam o pensamento humano e a verifica\u00e7\u00e3o da m\u00e1quina<\/li>\n<\/ul>\n\n\n\n<p>Desta forma, a equipa recolheu centenas de dados de forma\u00e7\u00e3o de alta qualidade, proporcionando uma base de aprendizagem s\u00f3lida para o modelo.<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" src=\"https:\/\/school.myshirtai.com\/wp-content\/uploads\/2025\/05\/image-5.png\" alt=\"\" class=\"wp-image-428\"\/><\/figure>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"h-3-\u5f3a\u5316\u5b66\u4e60\u63d0\u5347\u63a8\u7406\u80fd\u529b\">3. aprendizagem refor\u00e7ada para melhorar as capacidades de racioc\u00ednio<\/h3>\n\n\n\n<p>Ap\u00f3s um ajuste inicial, a equipa introduziu o algoritmo de aprendizagem por refor\u00e7o Group Relative Policy Optimization (GRPO):<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Amostragem de v\u00e1rias provas candidatas para cada pergunta e otimiza\u00e7\u00e3o da estrat\u00e9gia atrav\u00e9s de recompensas relativas<\/li>\n\n\n\n<li>Utilizar um mecanismo de recompensa bin\u00e1rio: Lean atribui a pontua\u00e7\u00e3o 1 a uma verifica\u00e7\u00e3o bem sucedida e 0 a uma falha<\/li>\n\n\n\n<li>O b\u00f3nus de consist\u00eancia estrutural foi especificamente concebido para garantir que as provas geradas pelo modelo s\u00e3o consistentes com a ideia de decomposi\u00e7\u00e3o da cadeia de pensamento<\/li>\n<\/ul>\n\n\n\n<p>Este m\u00e9todo de forma\u00e7\u00e3o melhora consideravelmente a precis\u00e3o do modelo na prova de teoremas complexos.<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" src=\"https:\/\/school.myshirtai.com\/wp-content\/uploads\/2025\/05\/image-3.png\" alt=\"\" class=\"wp-image-425\"\/><\/figure>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-proverbench-\u5168\u65b0\u7684\u6570\u5b66\u57fa\u51c6\u6d4b\u8bd5\u96c6\">ProverBench: um novo conjunto de testes de refer\u00eancia em matem\u00e1tica<\/h2>\n\n\n\n<p>Para al\u00e9m do pr\u00f3prio modelo, o DeepSeek lan\u00e7ou o ProverBench - um conjunto de dados de refer\u00eancia com 325 perguntas:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>15 perguntas sobre teoria dos n\u00fameros e \u00e1lgebra dos \u00faltimos concursos de matem\u00e1tica, como o AIME 24 e 25<\/li>\n\n\n\n<li>310 perguntas selecionadas a partir de exemplos de manuais e tutoriais, cobrindo uma vasta gama de n\u00edveis de dificuldade e dom\u00ednios.<\/li>\n<\/ul>\n\n\n\n<p>Este conjunto de dados destina-se a fornecer uma avalia\u00e7\u00e3o exaustiva dos modelos, tanto ao n\u00edvel da competi\u00e7\u00e3o no ensino secund\u00e1rio como ao n\u00edvel da licenciatura em matem\u00e1tica, e a fornecer uma plataforma de teste mais sistem\u00e1tica para a investiga\u00e7\u00e3o em IA matem\u00e1tica.<\/p>\n\n\n\n<p>Liga\u00e7\u00e3o ProverBench:<a href=\"https:\/\/huggingface.co\/datasets\/deepseek-ai\/DeepSeek-ProverBench\">https:\/\/huggingface.co\/datasets\/deepseek-ai\/DeepSeek-ProverBench<\/a><\/p>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\u5b9e\u9a8c\u7ed3\u679c\u4e0e\u4eae\u70b9\u53d1\u73b0\">Resultados experimentais e conclus\u00f5es destacadas<\/h2>\n\n\n\n<p>No decurso do estudo, a equipa descobriu v\u00e1rios fen\u00f3menos interessantes:<\/p>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"h-cot-vs-non-cot\u6a21\u5f0f\">Modelos CoT vs. modelos n\u00e3o-CoT<\/h3>\n\n\n\n<p>O DeepSeek-Prover-V2 suporta dois modos complementares de gera\u00e7\u00e3o de provas:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>Modelo n\u00e3o-CoT (n\u00e3o-Chain of Thought) altamente eficiente<\/strong>Gera\u00e7\u00e3o r\u00e1pida de c\u00f3digo Lean sem etapas de infer\u00eancia interm\u00e9dias<\/li>\n\n\n\n<li><strong>Modelo de Cadeia de Pensamento (CoT) de alta precis\u00e3o<\/strong>representa\u00e7\u00e3o sistem\u00e1tica do processo de racioc\u00ednio e constru\u00e7\u00e3o gradual de provas logicamente claras<\/li>\n<\/ul>\n\n\n\n<p>As experi\u00eancias mostram uma vantagem significativa no desempenho do modelo CoT em rela\u00e7\u00e3o ao modelo n\u00e3o-CoT no racioc\u00ednio matem\u00e1tico formal, confirmando a efic\u00e1cia da pista da cadeia de pensamento no dom\u00ednio da prova de teoremas.<\/p>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"h-\u5c0f\u6a21\u578b\u7684\u610f\u5916\u80fd\u529b\">Capacidades inesperadas dos modelos pequenos<\/h3>\n\n\n\n<p>Surpreendentemente, o DeepSeek-Prover-V2-7B teve um desempenho al\u00e9m das expectativas ao usar o modelo n\u00e3o-CoT no conjunto de dados PutnamBench. Ele at\u00e9 resolveu 13 quest\u00f5es que o modelo 671B n\u00e3o conseguiu resolver!<\/p>\n\n\n\n<p>A an\u00e1lise revelou que o modelo 7B adquiriu uma t\u00e9cnica \u00fanica - a utiliza\u00e7\u00e3o frequente de Cardinal.toNat e Cardinal.natCast_inj para problemas que envolvem bases finitas - que \u00e9 rara no modelo 671B. Esta constata\u00e7\u00e3o sugere que a aprendizagem por refor\u00e7o n\u00e3o s\u00f3 melhora o desempenho global, como tamb\u00e9m permite que o modelo desenvolva t\u00e9cnicas especializadas de resolu\u00e7\u00e3o de problemas.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\u5feb\u901f\u4e0a\u624b\u6307\u5357\">Guia de in\u00edcio r\u00e1pido<\/h2>\n\n\n\n<p>Quer experimentar o DeepSeek-Prover-V2? Aqui est\u00e1 um exemplo simples que mostra como usar a biblioteca Transformers da Hugging Face para infer\u00eancia de modelo:<\/p>\n\n\n\n<div class=\"wp-block-code\"><div class=\"xhcode-toolbar\"><i class=\"xhcode-icon-codesvg\"><\/i><span>PHP<\/span><\/div><pre><code lang=\"php\" class=\"language-php\">from transformers import AutoModelForCausalLM, AutoTokenizer\nimportar torch\n\ntorch.manual_seed(30)\nmodel_id = \"deepseek-ai\/DeepSeek-Prover-V2-7B\" # ou deepseek-ai\/DeepSeek-Prover-V2-671B\ntokenizer = AutoTokenizer.from_pretrained(model_id)\n\nformal_statement = \"\"\"\nimportar Mathlib\nimport Aesop\nset_option maxHeartbeats 0\nopen BigOperators Real Nat Topologia Rat\n\/-- Qual \u00e9 a diferen\u00e7a positiva entre $120\\%$ de 30 e $130\\%$ de 20? Mostre que \u00e9 10.-\/\nTeorema mathd_algebra_10 : abs ((120 : \u211d) \/ 100 * 30 - 130 \/ 100 * 20) = 10 := by\n    lamenta\n\"\"\"\".strip()\n\nprompt = \"\"\"\nComplete o seguinte c\u00f3digo Lean 4.\n ```lean4\n{}<\/code><\/pre><\/div>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\u672a\u6765\u5c55\u671b\">perspectivas futuras<\/h2>\n\n\n\n<p>A equipa do DeepSeek afirma que o trabalho futuro se centrar\u00e1 na extens\u00e3o desta estrutura a sistemas do tipo AlphaProof. O objetivo final \u00e9 resolver puzzles matem\u00e1ticos de n\u00edvel IMO que representam a vanguarda do campo da prova autom\u00e1tica de teoremas. Com o lan\u00e7amento do DeepSeek-Prover-V2, podemos estar a assistir a uma grande mudan\u00e7a na forma como a matem\u00e1tica \u00e9 estudada. Mais do que um simples avan\u00e7o tecnol\u00f3gico, este modelo representa um novo paradigma para os humanos colaborarem com a IA para resolver problemas complexos.<br><br>Entretanto, a expetativa pelo DeepSeek-R2 tornou-se mais forte. Como disse um internauta: \"Bate nesta pequena baleia azul, quando \u00e9 que o R2 vai ser lan\u00e7ado!<\/p>\n\n\n\n<p><strong>Se quiser utilizar a conta exclusiva paga oficial GPT Plus, Claude Pro, Grok Super, pode contactar a nossa equipa de profissionais (wx: abch891) se n\u00e3o souber como carregar a sua conta.<\/strong><\/p>\n\n\n\n<table style=\"width: 100%;border-collapse: collapse;border: 1px solid #ddd\">\n<thead>\n<tr style=\"height: 48px;background-color: #f5f5f5\">\n<th style=\"width: 50%;height: 48px;border: 1px solid #ddd;padding: 8px\">\n<h4 style=\"margin: 0\">Para mais produtos, consultar<\/h4>\n<\/th>\n<th style=\"width: 50%;height: 48px;border: 1px solid #ddd;padding: 8px\">\n<h4 style=\"margin: 0\">Ver mais em<\/h4>\n<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr style=\"height: 63px\">\n<td style=\"width: 50%;height: 63px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/www.myshirtai.com\/pt\/\" data-linktype=\"2\">ShirtAI - Intelig\u00eancia penetrante<\/a><\/td>\n<td style=\"width: 50%;height: 63px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/www.myshirtai.com\/pt\/archives\/4425\/\" data-linktype=\"2\">O Grande Modelo do AIGC: inaugurando uma era de dupla revolu\u00e7\u00e3o na engenharia e na ci\u00eancia - Penetrating Intelligence<\/a><\/td>\n<\/tr>\n<tr style=\"height: 61px\">\n<td style=\"width: 50%;height: 61px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/www.myshirtai.com\/pt\/\" data-linktype=\"2\">1:1 Restaura\u00e7\u00e3o de Claude e GPT Site oficial - AI Cloud Native<\/a><\/td>\n<td style=\"width: 50%;height: 61px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/www.bluelsqkj.com\/archives\/2876\" data-linktype=\"2\">Aplica\u00e7\u00e3o de jogos em direto Leitor de visualiza\u00e7\u00e3o de desporto HD global (recomendado) - Blueshirt Technology<\/a><\/td>\n<\/tr>\n<tr style=\"height: 54px\">\n<td style=\"width: 50%;height: 54px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/api.mygptmeta.com\/\" data-linktype=\"2\">Servi\u00e7o de tr\u00e2nsito baseado na API oficial - API GPTMeta<\/a><\/td>\n<td style=\"width: 50%;height: 54px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/www.zhihu.com\/question\/621055223\/answer\/3633615705\" data-linktype=\"2\">Ajuda, algu\u00e9m pode dar algumas dicas sobre como fazer perguntas no GPT? - Conhecimento<\/a><\/td>\n<\/tr>\n<tr style=\"height: 70px\">\n<td style=\"width: 50%;height: 70px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/shop.blueshirtmap.com\/\" data-linktype=\"2\">Loja digital de bens virtuais globais - Global SmarTone (Feng Ling Ge)<\/a><\/td>\n<td style=\"width: 50%;height: 70px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/www.bilibili.com\/video\/BV1efpneYE54\/?spm_id_from=333.1387.homepage.video_card.click\" data-linktype=\"2\">Qu\u00e3o poderosa \u00e9 a funcionalidade Claude airtfacts que o GPT instantaneamente n\u00e3o cheira bem? -BeepBeep<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>","protected":false},"excerpt":{"rendered":"<p>A DeepSeek lan\u00e7ou o modelo DeepSeek-Prover2, concebido para provas matem\u00e1ticas, a 1 de maio, com 671 mil milh\u00f5es de par\u00e2metros e uma vers\u00e3o com 7 mil milh\u00f5es de par\u00e2metros. O modelo usa uma combina\u00e7\u00e3o de recurs\u00e3o e aprendizagem por refor\u00e7o para se destacar em v\u00e1rios testes de matem\u00e1tica, como o teste MiniFF com uma taxa de aprova\u00e7\u00e3o de 88,9%. O conjunto de dados ProBench lan\u00e7ado ao mesmo tempo cont\u00e9m 325 perguntas para avaliar as capacidades do modelo. As experi\u00eancias revelaram que o modelo Chain of Thought melhora significativamente a precis\u00e3o, com o mini-modelo a superar mesmo o modelo em problemas espec\u00edficos. O modelo j\u00e1 se encontra na Hugging Face, apoiando um novo paradigma na investiga\u00e7\u00e3o matem\u00e1tica.<\/p>","protected":false},"author":1,"featured_media":6381,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_uag_custom_page_level_css":"","site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"footnotes":""},"categories":[53],"tags":[58,59],"class_list":["post-6382","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-blog","tag-theorem-proving","tag-mathematical-ai"],"yoast_head":"<!-- This site is optimized with the Yoast SEO Premium plugin v22.3 (Yoast SEO v25.2) - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e - \u6e17\u900f\u667a\u80fd<\/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:\/\/www.myshirtai.com\/pt\/archives\/6382\/\" \/>\n<meta property=\"og:locale\" content=\"pt_PT\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e\" \/>\n<meta property=\"og:description\" content=\"DeepSeek\u5728\u4e94\u4e00\u671f\u95f4\u5f00\u6e90\u4e86\u4e13\u4e3a\u6570\u5b66\u8bc1\u660e\u8bbe\u8ba1\u7684DeepSeek-Prover2\u6a21\u578b\uff0c\u5305\u542b6710\u4ebf\u53c2\u6570\u548c70\u4ebf\u53c2\u6570\u7248\u672c\u3002\u8be5\u6a21\u578b\u91c7\u7528\u9012\u5f52\u4e0e\u5f3a\u5316\u5b66\u4e60\u7ed3\u5408\u7684\u6280\u672f\u5728\u591a\u9879\u6570\u5b66\u6d4b\u8bd5\u4e2d\u8868\u73b0\u4f18\u5f02\uff0c\u5982MiniFF\u6d4b\u8bd5\u901a\u8fc7\u7387\u8fbe88.9%\u3002\u540c\u65f6\u53d1\u5e03\u7684ProBench\u6570\u636e\u96c6\u5305\u542b325\u9053\u9898\u76ee\uff0c\u8bc4\u4f30\u6a21\u578b\u80fd\u529b\u3002\u5b9e\u9a8c\u53d1\u73b0\u601d\u7ef4\u94fe\u6a21\u5f0f\u80fd\u663e\u8457\u8bc1\u660e\u51c6\u786e\u7387\uff0c\u5c0f\u6a21\u578b\u5728\u7279\u5b9a\u95ee\u9898\u4e0a\u751a\u81f3\u8d85\u8d8a\u6a21\u578b\u3002\u6a21\u578b\u5df2\u5728Hugging Face\uff0c\u652f\u6301\u6570\u5b66\u7814\u7a76\u65b0\u8303\u5f0f\u3002\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.myshirtai.com\/pt\/archives\/6382\/\" \/>\n<meta property=\"og:site_name\" content=\"\u6e17\u900f\u667a\u80fd\" \/>\n<meta property=\"article:published_time\" content=\"2025-05-01T10:29:02+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1280\" \/>\n\t<meta property=\"og:image:height\" content=\"720\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"IvesFeng666\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Escrito por\" \/>\n\t<meta name=\"twitter:data1\" content=\"IvesFeng666\" \/>\n\t<meta name=\"twitter:label2\" content=\"Tempo estimado de leitura\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 minutos\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382\"},\"author\":{\"name\":\"IvesFeng666\",\"@id\":\"https:\/\/www.myshirtai.com\/#\/schema\/person\/793ffae65b0212a937f22250e83b51e2\"},\"headline\":\"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e\",\"datePublished\":\"2025-05-01T10:29:02+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382\"},\"wordCount\":142,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/www.myshirtai.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg\",\"keywords\":[\"\u5b9a\u7406\u8bc1\u660e\",\"\u6570\u5b66AI\"],\"articleSection\":[\"\u535a\u5ba2\"],\"inLanguage\":\"pt-PT\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/www.myshirtai.com\/archives\/6382#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382\",\"url\":\"https:\/\/www.myshirtai.com\/archives\/6382\",\"name\":\"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e - \u6e17\u900f\u667a\u80fd\",\"isPartOf\":{\"@id\":\"https:\/\/www.myshirtai.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg\",\"datePublished\":\"2025-05-01T10:29:02+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382#breadcrumb\"},\"inLanguage\":\"pt-PT\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.myshirtai.com\/archives\/6382\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"pt-PT\",\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage\",\"url\":\"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg\",\"contentUrl\":\"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg\",\"width\":1280,\"height\":720},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"\u9996\u9875\",\"item\":\"https:\/\/www.myshirtai.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.myshirtai.com\/#website\",\"url\":\"https:\/\/www.myshirtai.com\/\",\"name\":\"\u6e17\u900f\u667a\u80fd\",\"description\":\"ShirtAI\",\"publisher\":{\"@id\":\"https:\/\/www.myshirtai.com\/#organization\"},\"alternateName\":\"ShirtAI\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.myshirtai.com\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"pt-PT\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.myshirtai.com\/#organization\",\"name\":\"ShirtAI\",\"alternateName\":\"ShirtAI\",\"url\":\"https:\/\/www.myshirtai.com\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"pt-PT\",\"@id\":\"https:\/\/www.myshirtai.com\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2023\/11\/ShirtAI1279\u00d7675.png\",\"contentUrl\":\"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2023\/11\/ShirtAI1279\u00d7675.png\",\"width\":1200,\"height\":675,\"caption\":\"ShirtAI\"},\"image\":{\"@id\":\"https:\/\/www.myshirtai.com\/#\/schema\/logo\/image\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.myshirtai.com\/#\/schema\/person\/793ffae65b0212a937f22250e83b51e2\",\"name\":\"IvesFeng666\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"pt-PT\",\"@id\":\"https:\/\/www.myshirtai.com\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/0e40122f3ea588c331477d2b5778ab521f0ef9275880700b47f592c999e721b7?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/0e40122f3ea588c331477d2b5778ab521f0ef9275880700b47f592c999e721b7?s=96&d=mm&r=g\",\"caption\":\"IvesFeng666\"},\"sameAs\":[\"http:\/\/www.myshirtai.com\"],\"url\":\"https:\/\/www.myshirtai.com\/pt\/archives\/author\/admin\"}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e - \u6e17\u900f\u667a\u80fd","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:\/\/www.myshirtai.com\/pt\/archives\/6382\/","og_locale":"pt_PT","og_type":"article","og_title":"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e","og_description":"DeepSeek\u5728\u4e94\u4e00\u671f\u95f4\u5f00\u6e90\u4e86\u4e13\u4e3a\u6570\u5b66\u8bc1\u660e\u8bbe\u8ba1\u7684DeepSeek-Prover2\u6a21\u578b\uff0c\u5305\u542b6710\u4ebf\u53c2\u6570\u548c70\u4ebf\u53c2\u6570\u7248\u672c\u3002\u8be5\u6a21\u578b\u91c7\u7528\u9012\u5f52\u4e0e\u5f3a\u5316\u5b66\u4e60\u7ed3\u5408\u7684\u6280\u672f\u5728\u591a\u9879\u6570\u5b66\u6d4b\u8bd5\u4e2d\u8868\u73b0\u4f18\u5f02\uff0c\u5982MiniFF\u6d4b\u8bd5\u901a\u8fc7\u7387\u8fbe88.9%\u3002\u540c\u65f6\u53d1\u5e03\u7684ProBench\u6570\u636e\u96c6\u5305\u542b325\u9053\u9898\u76ee\uff0c\u8bc4\u4f30\u6a21\u578b\u80fd\u529b\u3002\u5b9e\u9a8c\u53d1\u73b0\u601d\u7ef4\u94fe\u6a21\u5f0f\u80fd\u663e\u8457\u8bc1\u660e\u51c6\u786e\u7387\uff0c\u5c0f\u6a21\u578b\u5728\u7279\u5b9a\u95ee\u9898\u4e0a\u751a\u81f3\u8d85\u8d8a\u6a21\u578b\u3002\u6a21\u578b\u5df2\u5728Hugging Face\uff0c\u652f\u6301\u6570\u5b66\u7814\u7a76\u65b0\u8303\u5f0f\u3002","og_url":"https:\/\/www.myshirtai.com\/pt\/archives\/6382\/","og_site_name":"\u6e17\u900f\u667a\u80fd","article_published_time":"2025-05-01T10:29:02+00:00","og_image":[{"width":1280,"height":720,"url":"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg","type":"image\/jpeg"}],"author":"IvesFeng666","twitter_card":"summary_large_image","twitter_misc":{"Escrito por":"IvesFeng666","Tempo estimado de leitura":"2 minutos"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.myshirtai.com\/archives\/6382#article","isPartOf":{"@id":"https:\/\/www.myshirtai.com\/archives\/6382"},"author":{"name":"IvesFeng666","@id":"https:\/\/www.myshirtai.com\/#\/schema\/person\/793ffae65b0212a937f22250e83b51e2"},"headline":"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e","datePublished":"2025-05-01T10:29:02+00:00","mainEntityOfPage":{"@id":"https:\/\/www.myshirtai.com\/archives\/6382"},"wordCount":142,"commentCount":0,"publisher":{"@id":"https:\/\/www.myshirtai.com\/#organization"},"image":{"@id":"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage"},"thumbnailUrl":"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg","keywords":["\u5b9a\u7406\u8bc1\u660e","\u6570\u5b66AI"],"articleSection":["\u535a\u5ba2"],"inLanguage":"pt-PT","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.myshirtai.com\/archives\/6382#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.myshirtai.com\/archives\/6382","url":"https:\/\/www.myshirtai.com\/archives\/6382","name":"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e - \u6e17\u900f\u667a\u80fd","isPartOf":{"@id":"https:\/\/www.myshirtai.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage"},"image":{"@id":"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage"},"thumbnailUrl":"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg","datePublished":"2025-05-01T10:29:02+00:00","breadcrumb":{"@id":"https:\/\/www.myshirtai.com\/archives\/6382#breadcrumb"},"inLanguage":"pt-PT","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.myshirtai.com\/archives\/6382"]}]},{"@type":"ImageObject","inLanguage":"pt-PT","@id":"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage","url":"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg","contentUrl":"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg","width":1280,"height":720},{"@type":"BreadcrumbList","@id":"https:\/\/www.myshirtai.com\/archives\/6382#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"\u9996\u9875","item":"https:\/\/www.myshirtai.com\/"},{"@type":"ListItem","position":2,"name":"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e"}]},{"@type":"WebSite","@id":"https:\/\/www.myshirtai.com\/#website","url":"https:\/\/www.myshirtai.com\/","name":"\u6e17\u900f\u667a\u80fd","description":"ShirtAI","publisher":{"@id":"https:\/\/www.myshirtai.com\/#organization"},"alternateName":"ShirtAI","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.myshirtai.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"pt-PT"},{"@type":"Organization","@id":"https:\/\/www.myshirtai.com\/#organization","name":"ShirtAI","alternateName":"ShirtAI","url":"https:\/\/www.myshirtai.com\/","logo":{"@type":"ImageObject","inLanguage":"pt-PT","@id":"https:\/\/www.myshirtai.com\/#\/schema\/logo\/image\/","url":"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2023\/11\/ShirtAI1279\u00d7675.png","contentUrl":"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2023\/11\/ShirtAI1279\u00d7675.png","width":1200,"height":675,"caption":"ShirtAI"},"image":{"@id":"https:\/\/www.myshirtai.com\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/www.myshirtai.com\/#\/schema\/person\/793ffae65b0212a937f22250e83b51e2","name":"IvesFeng666","image":{"@type":"ImageObject","inLanguage":"pt-PT","@id":"https:\/\/www.myshirtai.com\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/0e40122f3ea588c331477d2b5778ab521f0ef9275880700b47f592c999e721b7?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/0e40122f3ea588c331477d2b5778ab521f0ef9275880700b47f592c999e721b7?s=96&d=mm&r=g","caption":"IvesFeng666"},"sameAs":["http:\/\/www.myshirtai.com"],"url":"https:\/\/www.myshirtai.com\/pt\/archives\/author\/admin"}]}},"uagb_featured_image_src":{"full":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg",1280,720,false],"thumbnail":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault-150x84.jpg",150,84,true],"medium":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault-1024x576.jpg",1024,576,true],"medium_large":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault-768x432.jpg",768,432,true],"large":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg",1280,720,false],"1536x1536":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg",1280,720,false],"2048x2048":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg",1280,720,false],"trp-custom-language-flag":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault-18x10.jpg",18,10,true]},"uagb_author_info":{"display_name":"IvesFeng666","author_link":"https:\/\/www.myshirtai.com\/pt\/archives\/author\/admin"},"uagb_comment_info":0,"uagb_excerpt":"DeepSeek\u5728\u4e94\u4e00\u671f\u95f4\u5f00\u6e90\u4e86\u4e13\u4e3a\u6570\u5b66\u8bc1\u660e\u8bbe\u8ba1\u7684DeepSeek-Prover2\u6a21\u578b\uff0c\u5305\u542b6710\u4ebf\u53c2\u6570\u548c7&hellip;","_links":{"self":[{"href":"https:\/\/www.myshirtai.com\/pt\/wp-json\/wp\/v2\/posts\/6382","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.myshirtai.com\/pt\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.myshirtai.com\/pt\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.myshirtai.com\/pt\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.myshirtai.com\/pt\/wp-json\/wp\/v2\/comments?post=6382"}],"version-history":[{"count":0,"href":"https:\/\/www.myshirtai.com\/pt\/wp-json\/wp\/v2\/posts\/6382\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.myshirtai.com\/pt\/wp-json\/wp\/v2\/media\/6381"}],"wp:attachment":[{"href":"https:\/\/www.myshirtai.com\/pt\/wp-json\/wp\/v2\/media?parent=6382"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.myshirtai.com\/pt\/wp-json\/wp\/v2\/categories?post=6382"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.myshirtai.com\/pt\/wp-json\/wp\/v2\/tags?post=6382"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}