Un medico autodidatta e una sessione di intelligenza artificiale di 16 ore hanno risolto uno dei problemi aperti della matematica applicata.
In Breve
Un neurochirurgo di Pechino ha utilizzato GPT-56 per dimostrare una congettura matematica vecchia di 20 anni, segnalando un cambiamento in chi può produrre e verificare la ricerca.
Shanmu Jin, ricercatore post-dottorato e specializzando in neurochirurgia presso il Peking Union Medical College Hospital di Pechino, ha dimostrato la congettura di Crouzeix, un problema di analisi matriciale rimasto aperto per oltre due decenni. L'argomentazione decisiva non è emersa da un dipartimento di matematica: è venuta alla luce durante una corsa autonoma di 16 ore di GPT-5.6 Sol all'interno ChatGPT Modalità di lavoro, guidata da un sistema di promemoria attentamente progettato dallo stesso Jin.
Jin è giunto al problema attraverso un percorso non lineare. La sua formazione universitaria era in geologia; in seguito ha conseguito una laurea in medicina e ha approfondito le sue conoscenze matematiche attraverso lo studio autonomo, inizialmente motivato dalla ricerca sugli ultrasuoni transcranici. La congettura di Crouzeix, formulata nel 2004, riguarda la relazione tra la norma spettrale di una matrice e il massimo di un polinomio sul suo intervallo numerico: una regione convessa compatta del piano complesso che cattura una parte maggiore del comportamento di una matrice rispetto ai soli autovalori. La sua risoluzione ha applicazioni dirette nell'analisi delle funzioni matriciali, nei risolutori iterativi come GMRES e nei metodi razionali di Krylov.
Invece di sollecitare il modello in modo interattivo, Jin ha eseguito una sessione autonoma estesa utilizzando un'architettura di sollecitazione adattata da una OpenAI era stato sviluppato per un precedente risultato matematico, la congettura della doppia copertura ciclica. L'impostazione negava al modello l'accesso a Internet. Impiegava sub-agenti in competizione tra loro, incaricati di sviluppare e testare in modo indipendente diverse strategie di dimostrazione, con istruzioni esplicite contro la convergenza prematura e il requisito di falsificare gli argomenti candidati solo attraverso controesempi concreti. Il modello doveva continuare fino a quando una dimostrazione completa non avesse superato la revisione avversaria interna. Il preprint risultante, pubblicato il 27 luglio 2026, include il prompt completo, le successive bozze dei manoscritti, una formalizzazione Lean e una verifica degli assiomi.
Conferma tra pari e la questione di chi studia matematica oggi
La dimostrazione è stata esaminata e confermata dal matematico della Cornell Alex Townsend, dall'analista numerica Anne Greenbaum e dallo stesso Michel Crouzeix, autore originale della congettura. La revisione paritaria formale è tuttora in corso. Otto giorni dopo la pubblicazione del preprint iniziale, i matematici Emiel Lorist e Felix Schwenninger hanno pubblicato una dimostrazione indipendente di cinque pagine utilizzando un metodo diverso, che combina la teoria classica del potenziale a doppio strato con un lemma di perturbazione per le 2-dilatazioni. Jin ha accolto con favore il risultato parallelo come complemento al suo lavoro.
L'episodio mette in luce un cambiamento strutturale nella ricerca matematica che è difficile ignorare. Quando un problema aperto dal 2004 viene risolto da un medico autodidatta utilizzando uno strumento di intelligenza artificiale per il consumatore, le barriere alla produzione di nuovi risultati si abbassano notevolmente, mentre le competenze necessarie per verificare tali risultati diventano di conseguenza più concentrate e preziose.
Per il campo dell'intelligenza artificiale, questo caso offre una dimostrazione concreta di ciò che i modelli linguistici di frontiera possono realizzare quando vengono loro assegnati compiti autonomi ben strutturati e un tempo di calcolo sufficiente. Resta da vedere se la comunità matematica disponga dell'infrastruttura necessaria per gestire la mole di risultati che potrebbero derivarne.
Negazione di responsabilità
In linea con la Linee guida del progetto Trust, si prega di notare che le informazioni fornite in questa pagina non intendono essere e non devono essere interpretate come consulenza legale, fiscale, di investimento, finanziaria o di qualsiasi altra forma. È importante investire solo ciò che puoi permetterti di perdere e chiedere una consulenza finanziaria indipendente in caso di dubbi. Per ulteriori informazioni, suggeriamo di fare riferimento ai termini e alle condizioni nonché alle pagine di aiuto e supporto fornite dall'emittente o dall'inserzionista. MetaversePost si impegna a fornire report accurati e imparziali, ma le condizioni di mercato sono soggette a modifiche senza preavviso.
Circa l'autore
Alisa, una giornalista dedicata al MPost, è specializzato in criptovalute, IA, investimenti e nell'ampio regno di Web3. Con un occhio attento alle tendenze e alle tecnologie emergenti, offre una copertura completa per informare e coinvolgere i lettori nel panorama in continua evoluzione della finanza digitale.
Altri articoli
Alisa, una giornalista dedicata al MPost, è specializzato in criptovalute, IA, investimenti e nell'ampio regno di Web3. Con un occhio attento alle tendenze e alle tecnologie emergenti, offre una copertura completa per informare e coinvolgere i lettori nel panorama in continua evoluzione della finanza digitale.
