{"id":743446,"date":"2026-05-19T21:00:00","date_gmt":"2026-05-20T00:00:00","guid":{"rendered":"https:\/\/www.portaltela.com\/tecnologia\/2026\/05\/19\/ia-pode-resolver-o-maior-misterio-da-matematica\/"},"modified":"2026-05-19T21:00:00","modified_gmt":"2026-05-20T00:00:00","slug":"ia-pode-resolver-o-maior-misterio-da-matematica","status":"publish","type":"post","link":"https:\/\/staging.portaltela.com\/tecnologia\/2026\/05\/19\/ia-pode-resolver-o-maior-misterio-da-matematica\/","title":{"rendered":"IA pode resolver o maior mist\u00e9rio da matem\u00e1tica?"},"content":{"rendered":"<p>T\u00edtulo n\u00e3o publicado pela plataforma. Segue o texto jornal\u00edstico pronto para publica\u00e7\u00e3o.<\/p>\n<p>O podcast Can AI Solve Math&#8217;s Biggest Mystery? traz Tudor Achim, CEO e cofundador da Harmonic, para discutir avan\u00e7os em intelig\u00eancia artificial aplicada \u00e0 matem\u00e1tica. O epis\u00f3dio aborda como IA tem evolu\u00eddo para n\u00e3o apenas sugerir respostas, mas tamb\u00e9m demonstrar formalmente seus fundamentos.<\/p>\n<p>A conversa destaca a evolu\u00e7\u00e3o de sistemas de racioc\u00ednio formal, como o Aristotle da Harmonic, que busca gerar provas matem\u00e1ticas verific\u00e1veis por computadores. O objetivo \u00e9 tornar as verifica\u00e7\u00f5es de veracidade parte do processo, reduzindo a depend\u00eancia da confian\u00e7a no conte\u00fado apresentado pela IA.<\/p>\n<p>Al\u00e9m disso, o epis\u00f3dio comenta a diferen\u00e7a entre provar e apenas afirmar, e analisa impactos em \u00e1reas como software, design de chips e computa\u00e7\u00e3o cient\u00edfica. A ideia central \u00e9 que a verifica\u00e7\u00e3o formal pode ampliar a contribui\u00e7\u00e3o humana na explora\u00e7\u00e3o de novas descobertas.<\/p>\n<h3>Sobre o epis\u00f3dio e seus convidados<\/h3>\n<p>No epis\u00f3dio, Corey e Grant entrevistam Tudor Achim para esclarecer o que significa a chamada \u201csuperintelig\u00eancia matem\u00e1tica\u201d e como uma IA pode ser audit\u00e1vel. A discuss\u00e3o percorre temas como criatividade das m\u00e1quinas, defini\u00e7\u00e3o de Mat\u00e9ria Matem\u00e1tica e o papel da IA na amplia\u00e7\u00e3o de capacidades dos matem\u00e1ticos.<\/p>\n<p>A conversa tamb\u00e9m aborda a verifica\u00e7\u00e3o de provas, o uso de ferramentas formais em engenharia de software e a pr\u00e1tica de abrir o acesso a usu\u00e1rios. Sublinham-se perspectivas sobre o que torna a matem\u00e1tica mais ampla do que c\u00e1lculos simples.<\/p>\n<p>A produ\u00e7\u00e3o tamb\u00e9m informa sobre patroc\u00ednios e recursos de suporte para ado\u00e7\u00e3o de IA escal\u00e1vel em ambientes empresariais. Por fim, o epis\u00f3dio avalia se IA pode avan\u00e7ar at\u00e9 provar hip\u00f3teses de alto n\u00edvel, como a Prova de Riemann, ainda que tais possibilidades permane\u00e7am em conjecturas futuras.<\/p>\n","protected":false},"excerpt":{"rendered":"<ul>\n<li>Epis\u00f3dio aborda a possibilidade de IA n\u00e3o apenas criar, mas tamb\u00e9m provar seus pr\u00f3prios resultados em matem\u00e1tica.<\/li>\n<li>Tudor Achim, cofundador e CEO da Harmonic, fala sobre Aristotle, sistema de racioc\u00ednio formal que gera provas verific\u00e1veis por computador.<\/li>\n<li>O destaque \u00e9 a ideia de \u201csuperintelig\u00eancia matem\u00e1tica\u201d que permite verificar, e n\u00e3o apenas confiar, nas solu\u00e7\u00f5es apresentadas pela IA.<\/li>\n<li>O epis\u00f3dio \u00e9 patrocinado pela Dell Technologies e pela NVIDIA, com recurso a um hub de estrat\u00e9gias para tornar IA escal\u00e1vel.<\/li>\n<li>A conversa foca em como a verifica\u00e7\u00e3o pode tornar a IA \u00fatil e quais impactos isso pode ter para matem\u00e1tica, software e design de chips.<\/li>\n<\/ul>\n","protected":false},"author":15,"featured_media":743508,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"summary":"IA avan\u00e7a para provar suas pr\u00f3prias demonstra\u00e7\u00f5es, com Aristotle da Harmonic oferecendo provas verific\u00e1veis que podem transformar matem\u00e1tica, software e ci\u00eancia","footnotes":""},"categories":[10028],"tags":[85,105,98,132,189],"class_list":["post-743446","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-tecnologia","tag-inovacao","tag-inteligencia-artificial","tag-pesquisa","tag-startups","tag-tecnologia"],"_links":{"self":[{"href":"https:\/\/staging.portaltela.com\/api\/wp\/v2\/posts\/743446","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/staging.portaltela.com\/api\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/staging.portaltela.com\/api\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/staging.portaltela.com\/api\/wp\/v2\/users\/15"}],"replies":[{"embeddable":true,"href":"https:\/\/staging.portaltela.com\/api\/wp\/v2\/comments?post=743446"}],"version-history":[{"count":0,"href":"https:\/\/staging.portaltela.com\/api\/wp\/v2\/posts\/743446\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/staging.portaltela.com\/api\/wp\/v2\/media\/743508"}],"wp:attachment":[{"href":"https:\/\/staging.portaltela.com\/api\/wp\/v2\/media?parent=743446"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/staging.portaltela.com\/api\/wp\/v2\/categories?post=743446"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/staging.portaltela.com\/api\/wp\/v2\/tags?post=743446"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}