{"id":1052408,"date":"2022-06-28T07:00:00","date_gmt":"2022-06-28T10:00:00","guid":{"rendered":"https:\/\/www.portaltela.com\/noticias\/2022\/06\/28\/modelo-da-openai-questiona-consenso-matematico-de-80-anos\/"},"modified":"2022-06-28T07:00:00","modified_gmt":"2022-06-28T10:00:00","slug":"modelo-da-openai-questiona-consenso-matematico-de-80-anos","status":"publish","type":"post","link":"https:\/\/www.portaltela.com\/noticias\/ciencia\/2022\/06\/28\/modelo-da-openai-questiona-consenso-matematico-de-80-anos\/","title":{"rendered":"Modelo da OpenAI questiona consenso matem\u00e1tico de 80 anos"},"content":{"rendered":"<p>O modelo de racioc\u00ednio de uso geral da OpenAI produziu uma prova de 125 p\u00e1ginas que contesta a conjectura das dist\u00e2ncias unit\u00e1rias, problema central da geometria combinat\u00f3ria h\u00e1 80 anos. A solu\u00e7\u00e3o foi gerada por um sistema interno, ainda n\u00e3o acess\u00edvel ao p\u00fablico. A conclus\u00e3o aponta que a configura\u00e7\u00e3o \u00f3tima n\u00e3o \u00e9 apenas a grade quadrada.<\/p>\n<p>A equipe envolvida inclui a OpenAI e matem\u00e1ticos externos convidados para verifica\u00e7\u00e3o. Entre eles est\u00e1 Tim Gowers, ganhador da Medalha Fields, que indicou a potencial publica\u00e7\u00e3o na Annals of Mathematics, conforme avalia\u00e7\u00e3o preliminar. Thomas Bloom tamb\u00e9m participou da discuss\u00e3o p\u00fablica da proposta.<\/p>\n<h3>Verifica\u00e7\u00e3o e publica\u00e7\u00f5es<\/h3>\n<p>O artigo de verifica\u00e7\u00e3o, com 125 p\u00e1ginas, foi hospedado no arXiv. Nove matem\u00e1ticos externo analisaram o material, simplificando e generalizando o argumento, ainda sem revis\u00e3o por pares. A prova permanece fora do acesso p\u00fablico completo, sujeito a valida\u00e7\u00e3o independente.<\/p>\n<p>A obra se destaca ao mostrar que uma IA de uso geral chegou a uma prova matem\u00e1tica relevante sem ter sido projetada para esse problema espec\u00edfico. A OpenAI afirma que \u00e9 a primeira vez que uma IA resolve autonomamente um problema aberto de alto impacto na matem\u00e1tica.<\/p>\n<p>A comunidade cient\u00edfica observou que a IA conectou linhas de racioc\u00ednio dispersas na literatura, incluindo trabalhos anteriores de Golod-Shafarevich, Ellenberg-Venkatesh e Hajir-Maire-Ramakrishna. O epis\u00f3dio levanta quest\u00f5es sobre o papel de IA como colaboradora em pesquisa.<\/p>\n<p>A import\u00e2ncia pr\u00e1tica reside na demonstra\u00e7\u00e3o de capacidades avan\u00e7adas de racioc\u00ednio emergentes em modelos de uso geral. Enquanto a valida\u00e7\u00e3o formal n\u00e3o \u00e9 conclu\u00edda, o epis\u00f3dio marca uma fronteira na intera\u00e7\u00e3o entre matem\u00e1tica e IA.<\/p>\n","protected":false},"excerpt":{"rendered":"<ul>\n<li>Um modelo de racioc\u00ednio de uso geral da OpenAI criou uma prova de 125 p\u00e1ginas que contesta a conjectura das dist\u00e2ncias unit\u00e1rias, problema cl\u00e1ssico de Erd\u0151s.<\/li>\n<li>A conjectura, centrada na ideia de que a grade quadrada seria a configura\u00e7\u00e3o \u00f3tima para o n\u00famero m\u00e1ximo de pares a uma dist\u00e2ncia fixa, \u00e9 desmentida por uma fam\u00edlia infinita de arranjos superiores.<\/li>\n<li>A prova foi verificada por nove matem\u00e1ticos externos, incluindo Tim Gowers, ganhador da Medalha Fields, que recomendou a publica\u00e7\u00e3o na Annals of Mathematics.<\/li>\n<li>O artigo de verifica\u00e7\u00e3o independente, hospedado no arXiv, resume a prova e discute implica\u00e7\u00f5es para a rela\u00e7\u00e3o entre matem\u00e1ticos e sistemas de IA.<\/li>\n<li>A OpenAI afirma que \u00e9 a primeira vez que uma IA resolve autonomamente um problema aberto relevante para a matem\u00e1tica; o material utilizado pela IA permanece fora do alcance p\u00fablico para replica\u00e7\u00e3o.<\/li>\n<\/ul>\n","protected":false},"author":15,"featured_media":1052412,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"summary":"Modelo de IA de uso geral da OpenAI derruba conjectura de oitenta anos sobre dist\u00e2ncias unit\u00e1rias, apresentando prova aut\u00f4noma validada por matem\u00e1ticos","footnotes":""},"categories":[296,1],"tags":[169,180,85,105,98,189],"class_list":["post-1052408","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-ciencia","category-noticias","tag-cientistas","tag-descobertas","tag-inovacao","tag-inteligencia-artificial","tag-pesquisa","tag-tecnologia"],"_links":{"self":[{"href":"https:\/\/www.portaltela.com\/api\/wp\/v2\/posts\/1052408","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=1052408"}],"version-history":[{"count":0,"href":"https:\/\/www.portaltela.com\/api\/wp\/v2\/posts\/1052408\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.portaltela.com\/api\/wp\/v2\/media\/1052412"}],"wp:attachment":[{"href":"https:\/\/www.portaltela.com\/api\/wp\/v2\/media?parent=1052408"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.portaltela.com\/api\/wp\/v2\/categories?post=1052408"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.portaltela.com\/api\/wp\/v2\/tags?post=1052408"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}