{"id":264255,"date":"2025-06-05T06:41:04","date_gmt":"2025-06-05T09:41:04","guid":{"rendered":"https:\/\/production.portaltela.com\/noticias\/2025\/06\/05\/darpa-lanca-iniciativa-para-acelerar-avancos-na-matematica-com-inteligencia-artificial\/"},"modified":"2025-06-05T06:41:04","modified_gmt":"2025-06-05T09:41:04","slug":"darpa-lanca-iniciativa-para-acelerar-avancos-na-matematica-com-inteligencia-artificial","status":"publish","type":"post","link":"https:\/\/www.portaltela.com\/cotidiano\/tecnologia\/2025\/06\/05\/darpa-lanca-iniciativa-para-acelerar-avancos-na-matematica-com-inteligencia-artificial\/","title":{"rendered":"DARPA lan\u00e7a iniciativa para acelerar avan\u00e7os na matem\u00e1tica com intelig\u00eancia artificial"},"content":{"rendered":"

A DARPA<\/strong> (Ag\u00eancia de Projetos de Pesquisa Avan\u00e7ada de Defesa dos EUA) lan\u00e7ou a iniciativa expMath<\/strong> em abril de 2023, com o objetivo de acelerar o progresso na matem\u00e1tica. A proposta visa promover a colabora\u00e7\u00e3o entre matem\u00e1ticos e intelig\u00eancia artificial (IA) para desenvolver ferramentas que ajudem a resolver problemas complexos de forma mais r\u00e1pida e eficiente.<\/p>\n

Historicamente, a matem\u00e1tica tem avan\u00e7ado lentamente, com pesquisadores utilizando m\u00e9todos tradicionais, como quadros-negros. O gerente do programa da DARPA, Patrick Shafto, destacou que a matem\u00e1tica \u00e9 fundamental para diversas \u00e1reas, como ci\u00eancia da computa\u00e7\u00e3o e medicina, mas seu desenvolvimento permanece estagnado. A iniciativa expMath busca mudar esse cen\u00e1rio.<\/p>\n

O foco da expMath \u00e9 criar um coautor de IA<\/strong>, uma ferramenta que pode dividir problemas matem\u00e1ticos complexos em partes menores e mais gerenci\u00e1veis. Embora matem\u00e1ticos j\u00e1 utilizem computadores para c\u00e1lculos e verifica\u00e7\u00f5es, a nova abordagem prop\u00f5e que a IA ajude a resolver quest\u00f5es que antes eram consideradas intrat\u00e1veis.<\/p>\n

Avan\u00e7os em IA<\/h3>\n

Recentemente, modelos de linguagem de grande porte (LLMs) t\u00eam demonstrado avan\u00e7os significativos em matem\u00e1tica. Modelos como o AlphaProof<\/strong>, da Google DeepMind, j\u00e1 alcan\u00e7aram resultados compar\u00e1veis aos de medalhistas em competi\u00e7\u00f5es de matem\u00e1tica. Al\u00e9m disso, o modelo AlphaEvolve<\/strong> encontrou solu\u00e7\u00f5es superiores para mais de cinquenta problemas matem\u00e1ticos n\u00e3o resolvidos.<\/p>\n

Entretanto, especialistas alertam que a capacidade da IA em resolver problemas matem\u00e1ticos ainda est\u00e1 longe de ser equivalente \u00e0 de matem\u00e1ticos profissionais. A diferen\u00e7a entre resolver quest\u00f5es de n\u00edvel escolar e problemas de pesquisa avan\u00e7ada \u00e9 significativa, com muitos desafios exigindo insights criativos que a IA ainda n\u00e3o consegue replicar.<\/p>\n

Desafios e Futuro<\/h3>\n

A nova avalia\u00e7\u00e3o chamada FrontierMath<\/strong> foi criada para testar os limites da IA em matem\u00e1tica, apresentando problemas in\u00e9ditos que exigem conhecimento especializado. Os resultados iniciais mostram que, embora os modelos de IA tenham melhorado, ainda h\u00e1 um longo caminho a percorrer. Por exemplo, o modelo 04-mini<\/strong> obteve apenas 19% de acertos em FrontierMath, em compara\u00e7\u00e3o com 90% em testes mais tradicionais.<\/p>\n

Os matem\u00e1ticos acreditam que a IA pode ser uma ferramenta valiosa, mas n\u00e3o substitui a criatividade humana necess\u00e1ria para inova\u00e7\u00f5es significativas. A expectativa \u00e9 que ferramentas como AlphaEvolve e PatternBoost ajudem a direcionar pesquisas, mas as verdadeiras descobertas ainda dependem do intelecto humano.<\/p>\n","protected":false},"excerpt":{"rendered":"

A DARPA, ag\u00eancia de pesquisa do governo dos EUA, lan\u00e7ou a iniciativa expMath para acelerar o progresso na matem\u00e1tica, que \u00e9 essencial em \u00e1reas como ci\u00eancia da computa\u00e7\u00e3o e medicina. A ideia \u00e9 unir matem\u00e1ticos e intelig\u00eancia artificial para criar ferramentas que ajudem a resolver problemas complexos mais rapidamente. Tradicionalmente, a matem\u00e1tica \u00e9 feita por pessoas em quadros-negros, mas a DARPA quer mudar isso. A iniciativa busca desenvolver um “coautor de IA” que possa dividir problemas grandes em partes menores e mais f\u00e1ceis de resolver. Embora a IA j\u00e1 tenha ajudado em c\u00e1lculos e verifica\u00e7\u00e3o de teoremas, a meta \u00e9 que ela consiga resolver quest\u00f5es que atualmente s\u00e3o muito dif\u00edceis. Modelos de IA mais avan\u00e7ados, como os da OpenAI e Google DeepMind, j\u00e1 est\u00e3o mostrando resultados promissores em testes de matem\u00e1tica, mas ainda h\u00e1 um longo caminho at\u00e9 que possam resolver problemas de pesquisa complexos. Para isso, novos testes, como o FrontierMath, foram criados para avaliar o que a IA pode realmente fazer. Esses testes s\u00e3o mais desafiadores e ainda n\u00e3o foram dominados pelos modelos atuais. Al\u00e9m disso, a IA precisa lidar com sequ\u00eancias longas de passos para resolver problemas dif\u00edceis, o que \u00e9 um grande desafio. Embora a IA possa ajudar a encontrar novas dire\u00e7\u00f5es e evitar erros, a criatividade e a intui\u00e7\u00e3o humanas ainda s\u00e3o fundamentais para grandes descobertas matem\u00e1ticas.<\/p>\n","protected":false},"author":15,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"summary":"DARPA lan\u00e7a expMath para acelerar avan\u00e7os em matem\u00e1tica, unindo matem\u00e1ticos e IA na busca por solu\u00e7\u00f5es para problemas complexos.","footnotes":""},"categories":[12,16],"tags":[100],"class_list":["post-264255","post","type-post","status-publish","format-standard","hentry","category-entretenimento","category-tecnologia","tag-noticia"],"_links":{"self":[{"href":"https:\/\/www.portaltela.com\/api\/wp\/v2\/posts\/264255","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.portaltela.com\/api\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.portaltela.com\/api\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.portaltela.com\/api\/wp\/v2\/users\/15"}],"replies":[{"embeddable":true,"href":"https:\/\/www.portaltela.com\/api\/wp\/v2\/comments?post=264255"}],"version-history":[{"count":0,"href":"https:\/\/www.portaltela.com\/api\/wp\/v2\/posts\/264255\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.portaltela.com\/api\/wp\/v2\/media?parent=264255"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.portaltela.com\/api\/wp\/v2\/categories?post=264255"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.portaltela.com\/api\/wp\/v2\/tags?post=264255"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}