Non era una nuova matematica complessa. Non proprio. Era testardaggine. <\/p>\n
OpenAI ha abbandonato la soluzione alla congettura della doppia copertura del ciclo<\/strong> proprio prima di lanciare il suo modello pi\u00f9 recente, GPT-5.6 Sol<\/strong>. I tempi? Puro marketing, ovviamente. L’impatto? Una rivoluzione silenziosa nel modo in cui vediamo l\u2019intelligenza artificiale e cosa pu\u00f2 fare. Gli esseri umani si interrogano su questo problema da pi\u00f9 di mezzo secolo. GPT-5.6 lo ha risolto dicendomi una cosa specifica: non arrenderti. <\/p>\n Questo fa parte di una tendenza pi\u00f9 ampia. I giganti della tecnologia stanno investendo denaro nella matematica pura. Non perch\u00e9 si preoccupino della bellezza fine a se stessa. Ma perch\u00e9 la matematica \u00e8 il punto di riferimento definitivo. Dimostra il ragionamento. O almeno, la sua versione meccanica. <\/p>\n “Gli strumenti di intelligenza artificiale cambieranno in modo significativo la ricerca matematica.” <\/p>\n<\/blockquote>\n \u2014 Noga Alon<\/strong>, matematico di Princeton, sulla scoperta del Sole. Alon defin\u00ec la dimostrazione sorprendentemente breve. Il che lo rende pi\u00f9 divertente, secondo me. <\/p>\n Ecco cosa devi sapere La teoria dei grafi sembra astratta, addirittura noiosa. Un grafico<\/strong> \u00e8 composto semplicemente da punti (vertici) e linee (bordi) che li collegano. Internet? \u00c8 un grafico. Il tuo social network? Anche un grafico. <\/p>\n Negli anni ’70 i matematici intuirono qualcosa di interessante riguardo a queste forme. Pensavano che quasi ogni grafico avesse una doppia copertura del ciclo<\/strong>. Che cos’\u00e8? Una serie di anelli che copre l’intera struttura esattamente due volte. Ogni bordo si trova esattamente all’interno di due anelli. <\/p>\n Abbastanza facile da immaginare. <\/p>\n Dimostrarlo? Ecco dove sono andati i decenni. <\/p>\n Le grandi menti ci hanno provato. L’hanno risolto per casi specifici. Si sono avvicinati. Ma la prova generale? \u00c8 scivolato via. Ogni volta. <\/p>\n Venerd\u00ec scorso \u00e8 intervenuta l\u2019intelligenza artificiale. <\/p>\n La soluzione si \u00e8 rivelata elegante. Semplice, quasi. L’intelligenza artificiale ha mostrato che \u00e8 possibile coprire il grafico con non pi\u00f9 di otto cicli. Certo, ci sono degli aspetti tecnici. I grafici tenuti insieme da singoli fili sottili (bordi tagliati) non contano. Ma per il resto? Fatto. <\/p>\n Ecco la svolta. <\/p>\n La dimostrazione non ha utilizzato nuove idee appariscenti. Nessuna teoria rivoluzionaria \u00e8 nata nei sogni del silicio. Ha riciclato metodi che gli esseri umani avevano gi\u00e0 provato. Metodi che abbiamo buttato nella spazzatura o lasciato su uno scaffale perch\u00e9 ci annoiavamo. O spaventato. <\/p>\n Hai mai considerato che \u201cduro\u201d potrebbe significare semplicemente \u201cimpopolare\u201d? <\/p>\n Andrew Sutherland<\/strong> del MIT la pensa cos\u00ec. Suggerisce che una reputazione di difficolt\u00e0 pu\u00f2 essere una trappola. Gli studenti si tengono alla larga. Gli esperti vanno avanti. Diventa una profezia di oscurit\u00e0 che si autoavvera. Quando un LLM non ha ego o una carriera di cui preoccuparsi, si limita a scavare. <\/p>\n “Continueremo a vedere problemi apparentemente ‘difficili’ avere soluzioni ‘facili’.” <\/p>\n<\/blockquote>\n Sutherland non indovina alla cieca. OpenAI ha rilasciato il prompt utilizzato per risolvere questo problema. Rivela il brutto lavoro meccanico dietro la magia. Il suggerimento non era poesia. Era un’impalcatura. Istruzioni per sessantaquattro agenti<\/strong> di parlare tra loro in parallelo. Controllo incrociato. Mitigare le bugie e le allucinazioni che affliggono questi modelli. <\/p>\n Il vero trucco? La direttiva. <\/p>\n Non hanno solo chiesto una risposta. Hanno detto al bot: Trascorri almeno 8 ore. Non pensare di smettere.<\/em> <\/p>\n La maggior parte di noi smetterebbe entro la seconda ora. Oppure diremmo: \u201c\u00c8 impossibile\u201d. <\/p>\n La macchina \u00e8 rimasta vicino alla tastiera. Otto ore. <\/p>\n Si scopre che il genio potrebbe essere solo la resistenza che siamo troppo stanchi per dare. E ora che l\u2019intelligenza artificiale \u00e8 qui, forse la biblioteca dei problemi aperti non \u00e8 una fortezza. \u00c8 un giardino in cui ci siamo dimenticati di annaffiare i fiori.<\/p>\n","protected":false},"excerpt":{"rendered":" Non era una nuova matematica complessa. Non proprio. Era testardaggine. OpenAI ha abbandonato la soluzione alla congettura della doppia copertura del ciclo proprio prima di lanciare il suo modello pi\u00f9 recente, GPT-5.6 Sol. I tempi? Puro marketing, ovviamente. L’impatto? Una rivoluzione silenziosa nel modo in cui vediamo l\u2019intelligenza artificiale e cosa pu\u00f2 fare. Gli esseri […]<\/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\/it\/wp-json\/wp\/v2\/posts\/7932"}],"collection":[{"href":"https:\/\/www.schooler.org.ua\/it\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.schooler.org.ua\/it\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.schooler.org.ua\/it\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.schooler.org.ua\/it\/wp-json\/wp\/v2\/comments?post=7932"}],"version-history":[{"count":0,"href":"https:\/\/www.schooler.org.ua\/it\/wp-json\/wp\/v2\/posts\/7932\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.schooler.org.ua\/it\/wp-json\/wp\/v2\/media\/7931"}],"wp:attachment":[{"href":"https:\/\/www.schooler.org.ua\/it\/wp-json\/wp\/v2\/media?parent=7932"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.schooler.org.ua\/it\/wp-json\/wp\/v2\/categories?post=7932"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.schooler.org.ua\/it\/wp-json\/wp\/v2\/tags?post=7932"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}\n
\n