{"id":169147,"date":"2025-11-29T09:34:15","date_gmt":"2025-11-29T09:34:15","guid":{"rendered":"https:\/\/www.europesays.com\/pt\/169147\/"},"modified":"2025-11-29T09:34:15","modified_gmt":"2025-11-29T09:34:15","slug":"a-ia-que-ganhou-ouro-nas-olimpiadas-de-matematica-chegou","status":"publish","type":"post","link":"https:\/\/www.europesays.com\/pt\/169147\/","title":{"rendered":"a IA que ganhou ‘ouro’ nas Olimp\u00edadas de Matem\u00e1tica chegou"},"content":{"rendered":"

A DeepSeek, a empresa chinesa de intelig\u00eancia artificial que surpreendeu o mercado no in\u00edcio de 2025 com os seus modelos de acesso livre, est\u00e1 de volta com uma ferramenta que promete ser o melhor amigo de matem\u00e1ticos e cientistas. A empresa acaba de lan\u00e7ar o DeepSeekMath-V2<\/strong>, um novo modelo de IA desenhado especificamente para enfrentar um dos desafios mais dif\u00edceis da computa\u00e7\u00e3o moderna: a prova rigorosa de teoremas matem\u00e1ticos.<\/p>\n

Ao contr\u00e1rio dos chatbots generalistas, que muitas vezes sofrem de \u201calucina\u00e7\u00f5es\u201d (inventando n\u00fameros ou factos) quando confrontados com c\u00e1lculos complexos, o DeepSeekMath-V2 foi constru\u00eddo com uma obsess\u00e3o pela exatid\u00e3o. O seu objetivo n\u00e3o \u00e9 apenas dar a resposta certa, mas sim demonstrar, passo a passo e de forma irrefut\u00e1vel, como chegou l\u00e1.<\/p>\n

Adeus ao \u201cchute\u201d: o ciclo de gera\u00e7\u00e3o e verifica\u00e7\u00e3o<\/p>\n

A grande inova\u00e7\u00e3o deste modelo reside na sua arquitetura de racioc\u00ednio. A DeepSeek implementou um sistema de \u201cgera\u00e7\u00e3o-verifica\u00e7\u00e3o\u201d<\/strong>.<\/p>\n

Em vez de tentar adivinhar a resposta final de uma s\u00f3 vez, a IA utiliza dois componentes distintos:<\/p>\n

    \n
  1. O Gerador de Provas:<\/strong> Cria uma poss\u00edvel solu\u00e7\u00e3o ou dedu\u00e7\u00e3o l\u00f3gica.<\/li>\n
  2. O Verificador:<\/strong> Um modelo especializado que analisa a solu\u00e7\u00e3o proposta pelo gerador e valida se a l\u00f3gica est\u00e1 correta.<\/li>\n<\/ol>\n

    Este sistema funciona como um professor a corrigir um aluno em tempo real. O verificador atua como um \u201cmodelo de recompensa\u201d, incentivando o gerador a identificar e corrigir os seus pr\u00f3prios erros durante o processo de dedu\u00e7\u00e3o. Se uma prova \u00e9 dif\u00edcil de verificar, o sistema rotula-a automaticamente para treino futuro, criando um ciclo de aprendizagem cont\u00ednua.<\/p>\n

    Esta abordagem \u201cpasso a passo\u201d \u00e9 fundamental para a ci\u00eancia, pois garante que o racioc\u00ednio \u00e9 auto-verific\u00e1vel e l\u00f3gico, afastando a IA da caixa negra que cospe n\u00fameros sem explica\u00e7\u00e3o.<\/p>\n

    \"Deepseekmath-v2\"<\/p>\n

    Desempenho de medalha de ouro<\/p>\n

    A efic\u00e1cia desta abordagem j\u00e1 foi posta \u00e0 prova nos palcos mais exigentes. O DeepSeekMath-V2, constru\u00eddo sobre a base do modelo DeepSeek-V3.2-Exp-Base, alcan\u00e7ou resultados que rivalizam com as mentes humanas mais brilhantes:<\/p>\n

      \n
    • Olimp\u00edadas Internacionais:<\/strong> O modelo alcan\u00e7ou pontua\u00e7\u00f5es de n\u00edvel Ouro<\/strong> nas Olimp\u00edadas Internacionais de Matem\u00e1tica (IMO) de 2025 e na CMO 2024.<\/li>\n
    • Competi\u00e7\u00e3o Putnam:<\/strong> Talvez o feito mais impressionante tenha sido o seu desempenho na competi\u00e7\u00e3o matem\u00e1tica William Lowell Putnam de 2024, onde obteve uma pontua\u00e7\u00e3o quase perfeita de 118 em 120<\/strong> (utilizando computa\u00e7\u00e3o escalada).<\/li>\n<\/ul>\n

      Um desbloqueador de ci\u00eancia<\/p>\n

      Embora a DeepSeek admita que a IA ainda n\u00e3o est\u00e1 pronta para resolver sozinha os famosos \u201cProblemas do Mil\u00e9nio\u201d, o lan\u00e7amento do DeepSeekMath-V2 \u00e9 um passo gigante.<\/p>\n

      Ao disponibilizar uma ferramenta capaz de lidar com a deriva\u00e7\u00e3o matem\u00e1tica formal e complexa, a empresa est\u00e1 a oferecer \u00e0 comunidade cient\u00edfica uma nova forma de acelerar a investiga\u00e7\u00e3o. Uma melhor compreens\u00e3o matem\u00e1tica \u00e9 a base para avan\u00e7os em \u00e1reas cr\u00edticas como a f\u00edsica, a criptografia, a engenharia e a sa\u00fade.<\/p>\n

      Outros artigos interessantes:<\/strong><\/p>\n","protected":false},"excerpt":{"rendered":"A DeepSeek, a empresa chinesa de intelig\u00eancia artificial que surpreendeu o mercado no in\u00edcio de 2025 com os…\n","protected":false},"author":2,"featured_media":169148,"comment_status":"","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[84],"tags":[109,107,108,32,33,105,103,104,106,110],"class_list":{"0":"post-169147","1":"post","2":"type-post","3":"status-publish","4":"format-standard","5":"has-post-thumbnail","7":"category-ciencia-e-tecnologia","8":"tag-ciencia","9":"tag-ciencia-e-tecnologia","10":"tag-cienciaetecnologia","11":"tag-portugal","12":"tag-pt","13":"tag-science","14":"tag-science-and-technology","15":"tag-scienceandtechnology","16":"tag-technology","17":"tag-tecnologia"},"share_on_mastodon":{"url":"https:\/\/pubeurope.com\/@pt\/115632306025568066","error":""},"_links":{"self":[{"href":"https:\/\/www.europesays.com\/pt\/wp-json\/wp\/v2\/posts\/169147","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.europesays.com\/pt\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.europesays.com\/pt\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.europesays.com\/pt\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.europesays.com\/pt\/wp-json\/wp\/v2\/comments?post=169147"}],"version-history":[{"count":0,"href":"https:\/\/www.europesays.com\/pt\/wp-json\/wp\/v2\/posts\/169147\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.europesays.com\/pt\/wp-json\/wp\/v2\/media\/169148"}],"wp:attachment":[{"href":"https:\/\/www.europesays.com\/pt\/wp-json\/wp\/v2\/media?parent=169147"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.europesays.com\/pt\/wp-json\/wp\/v2\/categories?post=169147"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.europesays.com\/pt\/wp-json\/wp\/v2\/tags?post=169147"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}