Neurochirurgo cinese usa ChatGPT per dimostrare una congettura matematica vecchia di decenni

Jin Shanmu, neurochirurgo e ricercatore post-dottorato presso l'Ospedale del Peking Union Medical College di Pechino, ha fatto notizia nella comunità matematica dimostrando con successo la congettura di Crouzeix, un problema di lunga data nell'algebra lineare numerica. Questo significativo risultato non è stato raggiunto attraverso tecniche matematiche convenzionali, ma tramite una sessione autonoma di 16 ore su GPT-5.6-Sol, utilizzando la piattaforma ChatGPT Work. Inizialmente concentrato sugli ultrasuoni cerebrali, Jin si è avventurato inaspettatamente nell'analisi delle matrici. La congettura di Crouzeix, introdotta dal matematico francese Michel Crouzeix, afferma che la norma di qualsiasi funzione applicata a una matrice non supera il doppio del valore massimo della funzione sull'intervallo numerico della matrice. Il successo di Jin illustra la crescente influenza dell'IA nell'esplorazione scientifica, mostrando come i modelli linguistici di grandi dimensioni possano affrontare intricate sfide matematiche. La comunità matematica ha reagito con stupore, poiché questa dimostrazione è stata generata da un non matematico che utilizza la tecnologia IA, evidenziando il potenziale dell'IA di democratizzare la ricerca avanzata e accelerare le scoperte in vari campi.