{"id":3274,"date":"2026-03-31T09:12:28","date_gmt":"2026-03-31T09:12:28","guid":{"rendered":"https:\/\/hizhongguo.com\/index.php\/2026\/03\/31\/ia-alcanca-marco-historico-ao-criar-provas-matematicas-originais-e-inaugura-nova-era-na-ciencia\/"},"modified":"2026-03-31T09:12:28","modified_gmt":"2026-03-31T09:12:28","slug":"ia-alcanca-marco-historico-ao-criar-provas-matematicas-originais-e-inaugura-nova-era-na-ciencia","status":"publish","type":"post","link":"https:\/\/hizhongguo.com\/index.php\/2026\/03\/31\/ia-alcanca-marco-historico-ao-criar-provas-matematicas-originais-e-inaugura-nova-era-na-ciencia\/","title":{"rendered":"IA alcan\u00e7a marco hist\u00f3rico ao criar provas matem\u00e1ticas originais e inaugura nova era na ci\u00eancia"},"content":{"rendered":"

Aqui est\u00e1 a vers\u00e3o do artigo reescrita em portugu\u00eas do Brasil, adaptada para uma leitura fluida e acess\u00edvel: <\/p>\n

\"IA<\/figure>\n
\n

Grande avan\u00e7o: Modelos de linguagem agora conseguem criar provas matem\u00e1ticas originais<\/strong> <\/p>\n

Recentemente, a Vrije Universiteit Brussel (VUB), na B\u00e9lgica, anunciou um feito hist\u00f3rico no campo da intelig\u00eancia artificial: modelos de linguagem comerciais j\u00e1 s\u00e3o capazes de gerar provas matem\u00e1ticas originais de forma independente<\/strong>. <\/p>\n

Nos experimentos, o ChatGPT-5.2 (Thinking), da OpenAI, conseguiu resolver uma conjectura matem\u00e1tica proposta pelos pesquisadores Ran e Teng em 2024 \u2014 um problema que at\u00e9 ent\u00e3o permanecia sem solu\u00e7\u00e3o. <\/p>\n

“Vibe-proving”: o surgimento de uma nova forma de fazer matem\u00e1tica<\/h3>\n

Os pesquisadores batizaram essa abordagem in\u00e9dita de \u201cvibe-proving\u201d<\/strong> (prova por atmosfera), inspirada pelo conceito recente de \u201cprograma\u00e7\u00e3o por atmosfera\u201d. Durante o processo, o modelo conduziu sozinho a explora\u00e7\u00e3o de caminhos de prova e construiu o n\u00facleo da l\u00f3gica necess\u00e1ria, mostrando que a IA pode realizar racioc\u00ednio criativo e original<\/strong>, muito al\u00e9m da simples combina\u00e7\u00e3o de dados. <\/p>\n

O ciclo de prova envolveu 7 rodadas de di\u00e1logo<\/strong> e 4 vers\u00f5es de auto-iteratividade<\/strong>, resultando em uma demonstra\u00e7\u00e3o matem\u00e1tica rigorosa. Os humanos ainda validaram o resultado final, mas a velocidade e efici\u00eancia do modelo superaram todas as expectativas da comunidade cient\u00edfica. <\/p>\n

Mudan\u00e7a de paradigma: humanos passam de produtores a validadores<\/h3>\n

Segundo o professor Vincent Ginis, da VUB, o resultado quebra o mito de que IA s\u00f3 sabe induzir e n\u00e3o criar<\/strong>. Com a IA assumindo a tarefa de gerar provas, a matem\u00e1tica te\u00f3rica poder\u00e1 avan\u00e7ar em ritmo exponencial<\/strong>. <\/p>\n

O novo desafio da comunidade cient\u00edfica n\u00e3o ser\u00e1 mais descobrir caminhos de prova, mas sim garantir a corre\u00e7\u00e3o l\u00f3gica de forma eficiente<\/strong>. Com IAs produzindo um grande volume de provas candidatas, a valida\u00e7\u00e3o humana se tornar\u00e1 o pr\u00f3ximo foco estrat\u00e9gico. <\/p>\n

Essa conquista indica que a forma de fazer ci\u00eancia est\u00e1 passando por uma transforma\u00e7\u00e3o profunda \u2014 e a matem\u00e1tica n\u00e3o ser\u00e1 mais a mesma. <\/p>\n

\n

Se quiser, posso tamb\u00e9m criar uma vers\u00e3o mais curta e chamativa<\/strong> para redes sociais, mantendo o tom informativo e acess\u00edvel para o p\u00fablico brasileiro. Quer que eu fa\u00e7a?<\/p>","protected":false},"excerpt":{"rendered":"

Aqui est\u00e1 a vers\u00e3o do artigo reescrita em portugu\u00eas do Brasil, adaptada para uma leitura fluida e acess\u00edvel: Grande avan\u00e7o: […]<\/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-3274","post","type-post","status-publish","format-standard","hentry","category-ai-news"],"_links":{"self":[{"href":"https:\/\/hizhongguo.com\/index.php\/wp-json\/wp\/v2\/posts\/3274","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=3274"}],"version-history":[{"count":0,"href":"https:\/\/hizhongguo.com\/index.php\/wp-json\/wp\/v2\/posts\/3274\/revisions"}],"wp:attachment":[{"href":"https:\/\/hizhongguo.com\/index.php\/wp-json\/wp\/v2\/media?parent=3274"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/hizhongguo.com\/index.php\/wp-json\/wp\/v2\/categories?post=3274"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/hizhongguo.com\/index.php\/wp-json\/wp\/v2\/tags?post=3274"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}