N\u00e3o era uma nova matem\u00e1tica complexa. Na verdade. Foi teimosia. <\/p>\n
A OpenAI abandonou a solu\u00e7\u00e3o para a conjectura da cobertura dupla do ciclo<\/strong> logo antes de lan\u00e7ar seu mais novo modelo, GPT-5.6 Sol<\/strong>. O momento? Marketing puro, \u00e9 claro. O impacto? Uma revolu\u00e7\u00e3o silenciosa na forma como vemos a intelig\u00eancia artificial e o que ela pode fazer. Os humanos v\u00eam mastigando esse problema h\u00e1 mais de meio s\u00e9culo. O GPT-5.6 resolveu o problema ouvindo uma coisa espec\u00edfica: n\u00e3o desista. <\/p>\n Isso faz parte de uma tend\u00eancia maior. Os gigantes da tecnologia est\u00e3o despejando dinheiro na matem\u00e1tica pura. N\u00e3o porque eles se preocupam com a beleza pela beleza. Mas porque a matem\u00e1tica \u00e9 a refer\u00eancia definitiva. Isso prova o racioc\u00ednio. Ou pelo menos, a vers\u00e3o mec\u00e2nica dele. <\/p>\n “As ferramentas de IA mudar\u00e3o significativamente a pesquisa matem\u00e1tica.” <\/p>\n<\/blockquote>\n \u2014 Noga Alon<\/strong>, matem\u00e1tico de Princeton, sobre a descoberta do Sol. Alon considerou a prova surpreendentemente curta. O que torna tudo mais engra\u00e7ado, se voc\u00ea me perguntar. <\/p>\n Aqui est\u00e1 o que voc\u00ea precisa saber. A teoria dos grafos parece abstrata, at\u00e9 chata. Um gr\u00e1fico<\/strong> consiste apenas em pontos (v\u00e9rtices) e linhas (arestas) conectando-os. A Internet? \u00c9 um gr\u00e1fico. Sua rede social? Tamb\u00e9m um gr\u00e1fico. <\/p>\n Na d\u00e9cada de 1970, os matem\u00e1ticos adivinharam algo interessante sobre essas formas. Eles pensaram que quase todos os gr\u00e1ficos tinham uma capa dupla de ciclo<\/strong>. O que \u00e9 isso? Um conjunto de loops que cobre toda a estrutura exatamente duas vezes. Cada aresta fica dentro precisamente de dois loops. <\/p>\n F\u00e1cil de imaginar. <\/p>\n Provando isso? Foi para l\u00e1 que as d\u00e9cadas foram. <\/p>\n Grandes mentes tentaram. Eles o quebraram para casos espec\u00edficos. Eles chegaram perto. Mas a prova geral? Ele escapou. Toda vez. <\/p>\n Na sexta-feira passada, a IA interveio. <\/p>\n A solu\u00e7\u00e3o acabou sendo elegante. Simples, quase. A IA mostrou que voc\u00ea pode cobrir o gr\u00e1fico com no m\u00e1ximo oito loops. Claro, existem detalhes t\u00e9cnicos. Gr\u00e1ficos mantidos juntos por fios \u00fanicos e finos (bordas cortadas) n\u00e3o contam. Mas quanto ao resto? Feito. <\/p>\n Aqui est\u00e1 a reviravolta. <\/p>\n A prova n\u00e3o usou ideias novas e chamativas. Nenhuma teoria inovadora nascida dos sonhos do sil\u00edcio. Reciclou m\u00e9todos que os humanos j\u00e1 haviam experimentado. M\u00e9todos que jogamos no lixo ou deixamos na prateleira porque ficamos entediados. Ou com medo. <\/p>\n Voc\u00ea j\u00e1 considerou que \u201cdif\u00edcil\u201d pode significar apenas \u201cimpopular\u201d? <\/p>\n Andrew Sutherland<\/strong> do MIT pensa que sim. Ele sugere que uma reputa\u00e7\u00e3o de dificuldade pode ser uma armadilha. Os alunos ficam longe. Os especialistas seguem em frente. Torna-se uma profecia auto-realiz\u00e1vel de obscuridade. Quando um LLM n\u00e3o tem ego ou carreira com que se preocupar, ele simplesmente cava. <\/p>\n “Continuaremos vendo problemas supostamente ‘dif\u00edceis’ com solu\u00e7\u00f5es ‘f\u00e1ceis’.” <\/p>\n<\/blockquote>\n Sutherland n\u00e3o est\u00e1 adivinhando cegamente. A OpenAI lan\u00e7ou o prompt usado para quebrar essa noz. Ele revela o trabalho feio e mec\u00e2nico por tr\u00e1s da magia. A sugest\u00e3o n\u00e3o foi poesia. Era um andaime. Instru\u00e7\u00f5es para sessenta e quatro agentes<\/strong> conversarem entre si em paralelo. Verifica\u00e7\u00e3o cruzada. Mitigar as mentiras e alucina\u00e7\u00f5es que assolam estes modelos. <\/p>\n O verdadeiro truque? A diretiva. <\/p>\n Eles n\u00e3o pediram apenas uma resposta. Eles disseram ao bot: Gaste pelo menos 8 horas. N\u00e3o pense em desistir.<\/em> <\/p>\n A maioria de n\u00f3s desistiria por volta da segunda hora. Ou dir\u00edamos: \u201c\u00c9 imposs\u00edvel\u201d. <\/p>\n A m\u00e1quina ficou no teclado. Oito horas. <\/p>\n Acontece que a genialidade pode ser apenas a resist\u00eancia que estamos cansados \u200b\u200bdemais para oferecer. E agora que a IA est\u00e1 aqui, talvez a biblioteca de problemas abertos n\u00e3o seja uma fortaleza. \u00c9 um jardim onde esquecemos de regar as flores.<\/p>\n","protected":false},"excerpt":{"rendered":" N\u00e3o era uma nova matem\u00e1tica complexa. Na verdade. Foi teimosia. A OpenAI abandonou a solu\u00e7\u00e3o para a conjectura da cobertura dupla do ciclo logo antes de lan\u00e7ar seu mais novo modelo, GPT-5.6 Sol. O momento? Marketing puro, \u00e9 claro. O impacto? Uma revolu\u00e7\u00e3o silenciosa na forma como vemos a intelig\u00eancia artificial e o que ela […]<\/p>\n","protected":false},"author":1,"featured_media":7931,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"tdm_status":"","tdm_grid_status":""},"categories":[1],"tags":[],"amp_enabled":true,"_links":{"self":[{"href":"https:\/\/www.schooler.org.ua\/pt\/wp-json\/wp\/v2\/posts\/7932"}],"collection":[{"href":"https:\/\/www.schooler.org.ua\/pt\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.schooler.org.ua\/pt\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.schooler.org.ua\/pt\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.schooler.org.ua\/pt\/wp-json\/wp\/v2\/comments?post=7932"}],"version-history":[{"count":0,"href":"https:\/\/www.schooler.org.ua\/pt\/wp-json\/wp\/v2\/posts\/7932\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.schooler.org.ua\/pt\/wp-json\/wp\/v2\/media\/7931"}],"wp:attachment":[{"href":"https:\/\/www.schooler.org.ua\/pt\/wp-json\/wp\/v2\/media?parent=7932"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.schooler.org.ua\/pt\/wp-json\/wp\/v2\/categories?post=7932"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.schooler.org.ua\/pt\/wp-json\/wp\/v2\/tags?post=7932"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}\n
\n