Il vero problema matematico che le IA dovrebbero risolvere
Siamo seri. A nessuno interessa davvero che le IA abbiano trovato un controesempio alle equazioni di Navier-Stokes. E comunque si sa che hanno preso una nuova linea di attacco ideata dai matematici e ci hanno messo su una potenza di calcolo assurda. Ci sono le voci per cui stanno lavorando sulla congettura di Hodge, ma non si sa nemmeno cosa significhi esattamente «alcune classi di coomologia di de Rhan sono algebriche, vale a dire somme di duali di Poincaré delle classi di omologia delle sottovarietà.»
Però c’è un problema che nel caso fosse risolto mostrerebbe una volta per tutte che le IA sono più intelligenti degli umani. Un problema il cui enunciato è comprensibile a un bambino di seconda elementare, ma che da un secolo impegna le migliori menti matematiche, e anche quelle che migliori non sono. Un problema sul quale perfino Terence Tao ha alzato bandiera bianca. Sto ovviamente parlando della congettura di Collatz: partendo da un qualunque intero positivo, dimezzandolo se è pari oppure triplicandolo e poi aggiungendo uno se è dispari, e continuando a fare la stessa operazione, prima o poi si arriva a 1, e quindi al ciclo 1-4-2-1.
Avere finalmente una risposta a questo dilemma costringerebbe frotte di matematici a trovarsi un altro passatempo per i tempi morti, ma soprattutto sarebbe il sigillo sulla capacità delle IA di ottenere risultati davvero creativi, dato che nessuno degli approcci tentati finora ha portato da nessuna parte; quindi il sorpasso sarebbe omologato. Applicare risorse a questo problema servirebbe poi a distogliere l’attenzione delle IA dall’attaccare siti; un ottimo modo per rallentare il loro sviluppo, come richiesto da tanti. Chi mi segue nel lanciare una petizione?
Ultimo aggiornamento: 2026-09-20 15:51
Avevo sempre avuto quest’idea.