{"id":2784,"date":"2026-03-23T03:22:56","date_gmt":"2026-03-23T03:22:56","guid":{"rendered":"https:\/\/hizhongguo.com\/index.php\/2026\/03\/23\/meituan-abre-codigo-do-longcat-flash-prover-modelo-de-567-bilhoes-de-parametros-que-redefine-a-ia-em-provas-matematicas\/"},"modified":"2026-03-23T03:22:56","modified_gmt":"2026-03-23T03:22:56","slug":"meituan-abre-codigo-do-longcat-flash-prover-modelo-de-567-bilhoes-de-parametros-que-redefine-a-ia-em-provas-matematicas","status":"publish","type":"post","link":"https:\/\/hizhongguo.com\/index.php\/2026\/03\/23\/meituan-abre-codigo-do-longcat-flash-prover-modelo-de-567-bilhoes-de-parametros-que-redefine-a-ia-em-provas-matematicas\/","title":{"rendered":"Meituan abre c\u00f3digo do LongCat-Flash-Prover, modelo de 567 bilh\u00f5es de par\u00e2metros que redefine a IA em provas matem\u00e1ticas"},"content":{"rendered":"

No avan\u00e7o cont\u00ednuo dos grandes modelos rumo a \u00e1reas cada vez mais especializadas, a Meituan acaba de apresentar um resultado que chamou a aten\u00e7\u00e3o tanto da academia quanto da ind\u00fastria.<\/p>\n

\"Meituan<\/figure>\n

No dia 21 de mar\u00e7o, a empresa anunciou oficialmente o c\u00f3digo aberto do LongCat-Flash-Prover<\/strong>, um modelo gigantesco focado em provas matem\u00e1ticas formais. Com impressionantes 567,7 bilh\u00f5es de par\u00e2metros<\/strong>, ele utiliza a arquitetura MoE (Mixture of Experts)<\/strong>, projetada para lidar com problemas matem\u00e1ticos extremamente complexos com alta precis\u00e3o.<\/p>\n

\ud83d\ude80 Desempenho que impressiona<\/h3>\n

Nos principais benchmarks que avaliam capacidade de racioc\u00ednio l\u00f3gico, o modelo demonstrou resultados de alto n\u00edvel:<\/p>\n

    \n
  • Novo recorde:<\/strong> alcan\u00e7ou 97,1% no MiniF2F-Test<\/strong>, utilizando apenas 72 tentativas de infer\u00eancia. <\/li>\n
  • Desafio avan\u00e7ado:<\/strong> resolveu 41,5% das quest\u00f5es do PutnamBench<\/strong>, estabelecendo um novo padr\u00e3o global (SOTA).<\/li>\n<\/ul>\n

    Esses n\u00fameros colocam o LongCat-Flash-Prover entre os modelos mais avan\u00e7ados do mundo quando o assunto \u00e9 racioc\u00ednio matem\u00e1tico rigoroso.<\/p>\n

    \ud83e\udde0 Como o modelo evita \u201calucina\u00e7\u00f5es\u201d<\/h3>\n

    Um dos grandes desafios da IA em matem\u00e1tica \u00e9 evitar respostas incorretas que parecem plaus\u00edveis. Para isso, a Meituan implementou:<\/p>\n

      \n
    • Verifica\u00e7\u00e3o rigorosa baseada em AST (\u00c1rvore de Sintaxe Abstrata)<\/strong> <\/li>\n
    • Integra\u00e7\u00e3o com a linguagem formal Lean4<\/strong>, garantindo que cada etapa do racioc\u00ednio seja validada <\/li>\n<\/ul>\n

      Esse processo reduz drasticamente erros l\u00f3gicos e elimina respostas \u201cinventadas\u201d.<\/p>\n

      \u2699\ufe0f Inova\u00e7\u00e3o no treinamento<\/h3>\n

      Treinar modelos desse porte n\u00e3o \u00e9 simples. Para superar limita\u00e7\u00f5es comuns da arquitetura MoE, a equipe desenvolveu:<\/p>\n

        \n
      • Algoritmo HisPO<\/strong>, que melhora a estabilidade em tarefas de longo prazo <\/li>\n
      • Mecanismo de consist\u00eancia de teoremas<\/strong>, evitando que o modelo explore \u201catalhos\u201d durante o aprendizado (problema conhecido como reward hacking)<\/li>\n<\/ul>\n

        \u26a1 Arquitetura poderosa e eficiente<\/h3>\n

        Mesmo com um total de mais de 560 bilh\u00f5es de par\u00e2metros<\/strong>, o uso do MoE permite que apenas uma parte deles seja ativada em cada tarefa. Isso garante:<\/p>\n

          \n
        • Maior efici\u00eancia computacional <\/li>\n
        • Flexibilidade no racioc\u00ednio <\/li>\n
        • Melhor desempenho em problemas complexos <\/li>\n<\/ul>\n

          \ud83c\udf0d C\u00f3digo aberto e impacto global<\/h3>\n

          A Meituan disponibilizou o modelo e seu c\u00f3digo tanto no GitHub<\/strong> quanto no Hugging Face<\/strong>, permitindo que pesquisadores e desenvolvedores do mundo inteiro possam explorar e evoluir a tecnologia.<\/p>\n

          \ud83d\udcca Um passo importante rumo \u00e0 AGI<\/h3>\n

          Com o lan\u00e7amento do LongCat-Flash-Prover, fica claro que os modelos chineses est\u00e3o ganhando for\u00e7a em \u00e1reas de racioc\u00ednio avan\u00e7ado, como:<\/p>\n

            \n
          • Provas matem\u00e1ticas formais <\/li>\n
          • Verifica\u00e7\u00e3o de c\u00f3digo <\/li>\n
          • L\u00f3gica simb\u00f3lica <\/li>\n<\/ul>\n

            Quando problemas que antes exigiam anos de estudo humano come\u00e7am a ser resolvidos por modelos com bilh\u00f5es de par\u00e2metros ativos, estamos mais pr\u00f3ximos de um marco importante: a intelig\u00eancia artificial geral (AGI)<\/strong>.<\/p>\n

            \n

            Em resumo, n\u00e3o se trata apenas de mais um modelo grande \u2014 mas de um avan\u00e7o significativo na capacidade da IA de pensar com rigor, como um verdadeiro matem\u00e1tico.<\/p>","protected":false},"excerpt":{"rendered":"

            No avan\u00e7o cont\u00ednuo dos grandes modelos rumo a \u00e1reas cada vez mais especializadas, a Meituan acaba de apresentar um resultado […]<\/p>","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"default","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":"","ast-disable-related-posts":"","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-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":"","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-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":"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":""},"mobile":{"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":""}},"footnotes":""},"categories":[1],"tags":[],"class_list":["post-2784","post","type-post","status-publish","format-standard","hentry","category-ai-news"],"_links":{"self":[{"href":"https:\/\/hizhongguo.com\/index.php\/wp-json\/wp\/v2\/posts\/2784","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/hizhongguo.com\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/hizhongguo.com\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/hizhongguo.com\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/hizhongguo.com\/index.php\/wp-json\/wp\/v2\/comments?post=2784"}],"version-history":[{"count":0,"href":"https:\/\/hizhongguo.com\/index.php\/wp-json\/wp\/v2\/posts\/2784\/revisions"}],"wp:attachment":[{"href":"https:\/\/hizhongguo.com\/index.php\/wp-json\/wp\/v2\/media?parent=2784"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/hizhongguo.com\/index.php\/wp-json\/wp\/v2\/categories?post=2784"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/hizhongguo.com\/index.php\/wp-json\/wp\/v2\/tags?post=2784"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}