{"id":696030,"date":"2026-06-14T23:18:36","date_gmt":"2026-06-15T02:18:36","guid":{"rendered":"https:\/\/primeirojornal.com.br\/2026\/06\/14\/matematicos-testam-ias-em-harvard-e-modelos-sao-aprovados-em-7-dos-10-problemas\/"},"modified":"2026-06-14T23:19:31","modified_gmt":"2026-06-15T02:19:31","slug":"matematicos-testam-ias-em-harvard-e-modelos-sao-aprovados-em-7-dos-10-problemas","status":"publish","type":"post","link":"https:\/\/gazetabaiana.com.br\/index.php\/2026\/06\/14\/matematicos-testam-ias-em-harvard-e-modelos-sao-aprovados-em-7-dos-10-problemas\/","title":{"rendered":"Matem\u00e1ticos testam IAs em Harvard e modelos s\u00e3o aprovados em 7 dos 10 problemas"},"content":{"rendered":"\n

Resumo r\u00e1pido:<\/strong> em Harvard<\/strong>, 30 matem\u00e1ticos reuniram-se para avaliar como a IA<\/strong> opera na resolu\u00e7\u00e3o de problemas da matem\u00e1tica. O projeto First Proof<\/strong> testou 10 problemas resolvidos por humanos (a maioria ainda n\u00e3o publicada) e sete deles obtiveram pelo menos uma solu\u00e7\u00e3o correta vinda de IA.<\/p>\n

Os sistemas testados apoiaram-se principalmente no GPT-5.5 Pro<\/strong> da OpenAI<\/strong> (em tr\u00eas configura\u00e7\u00f5es), com o Gemini 3.1 Pro Preview<\/strong> do Google<\/strong> como alternativa dominante. O Claude Opus 4.7<\/strong>, da Anthropic<\/strong>, apareceu como modelo secund\u00e1rio em um dos conjuntos. Algumas solu\u00e7\u00f5es foram consideradas impec\u00e1veis, e houve uma resposta da IA que surpreendeu pela estrat\u00e9gia adotada, diferente da humana.<\/p>\n

A iniciativa nasceu da insatisfa\u00e7\u00e3o com a forma como as grandes empresas divulgam conquistas em IA. Segundo os matem\u00e1ticos, \u00e9 dif\u00edcil verificar as solu\u00e7\u00f5es e os modelos exibem resultados inconsistentes. \u201cN\u00e3o escrevem da mesma forma que n\u00f3s escrevemos \u2014 nem sempre com a devida justificativa\u201d, ressaltou Martin Hairer, vencedor da Medalha Fields, ao jornal Washington Post.<\/p>\n

Terry Tao, outro Fields laureado, oferece uma imagem clara: humanos s\u00e3o como alpinistas, que constroem o passo a passo com paci\u00eancia. J\u00e1 a IA funciona como saltadores, alcan\u00e7ando picos altos rapidamente, mas nem sempre contribuindo para o pr\u00f3ximo passo de forma elegante. Quando a IA erra, muitas vezes falta o caminho para a continua\u00e7\u00e3o do racioc\u00ednio.<\/p>\n

O ponto central, segundo especialistas, n\u00e3o \u00e9 apenas resolver problemas, mas escolher o que vale investigar. \u201cResolver \u00e9 diferente de entender por que resolver aquilo faz sentido dentro de um plano maior\u201d, diz Lauren Williams, professora de Harvard e l\u00edder do First Proof. Sabe-se que os modelos entregam resultados, mas n\u00e3o est\u00e3o sempre claros sobre o papel de cada problema no conjunto da matem\u00e1tica.<\/p>\n

Paralelamente, a comunidade lan\u00e7ou a Declara\u00e7\u00e3o de Leiden<\/strong>, com mais de 2.300 signat\u00e1rios<\/strong>, que tra\u00e7a diretrizes \u00e9ticas para uso transparente da IA na matem\u00e1tica. O documento reconhece o potencial da tecnologia, mas aponta riscos como a falta de cr\u00e9dito \u00e0s ideias utilizadas pelos modelos e a promessa de resultados sem transpar\u00eancia sobre falhas.<\/p>\n

No contexto, vale lembrar o epis\u00f3dio recente de uma conjectura de Erd?s<\/strong>: em maio, a OpenAI afirmou ter um modelo que refutou essa conjectura antiga. O First Proof<\/em> surge como resposta organizada da comunidade: ao inv\u00e9s de reagir apenas aos an\u00fancios da ind\u00fastria, matem\u00e1ticos definem seus pr\u00f3prios crit\u00e9rios de avalia\u00e7\u00e3o e buscam clareza sobre o que faz sentido explorar.<\/p>\n

E voc\u00ea, como v\u00ea o papel da IA na matem\u00e1tica? Compartilhe seus pensamentos nos coment\u00e1rios e conte se acredita que esse tipo de teste pode mudar a forma como validamos importantes descobertas futuras. Sua opini\u00e3o enriquece a conversa sobre o caminho entre prova humana e apoio das m\u00e1quinas.<\/p>\n","protected":false},"excerpt":{"rendered":"

Resumo r\u00e1pido: em Harvard, 30 matem\u00e1ticos reuniram-se para avaliar como a IA opera na resolu\u00e7\u00e3o de problemas da matem\u00e1tica. O projeto First Proof testou\u2026<\/p>\n","protected":false},"author":57,"featured_media":696032,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[229],"tags":[],"class_list":["post-696030","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-tecnologia"],"_links":{"self":[{"href":"https:\/\/gazetabaiana.com.br\/index.php\/wp-json\/wp\/v2\/posts\/696030","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/gazetabaiana.com.br\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/gazetabaiana.com.br\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/gazetabaiana.com.br\/index.php\/wp-json\/wp\/v2\/users\/57"}],"replies":[{"embeddable":true,"href":"https:\/\/gazetabaiana.com.br\/index.php\/wp-json\/wp\/v2\/comments?post=696030"}],"version-history":[{"count":0,"href":"https:\/\/gazetabaiana.com.br\/index.php\/wp-json\/wp\/v2\/posts\/696030\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/gazetabaiana.com.br\/index.php\/wp-json\/wp\/v2\/media\/696032"}],"wp:attachment":[{"href":"https:\/\/gazetabaiana.com.br\/index.php\/wp-json\/wp\/v2\/media?parent=696030"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/gazetabaiana.com.br\/index.php\/wp-json\/wp\/v2\/categories?post=696030"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/gazetabaiana.com.br\/index.php\/wp-json\/wp\/v2\/tags?post=696030"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}