Il matematico Terence Tao ha condiviso un nuovo risultato riguardante il blowup in tempo finito con un termine di forzatura regolare per le equazioni del mezzo poroso incomprimibile, di Boussinesq e di Eulero incomprimibili, discusso in un post di Terry Tao. Un commento aggiuntivo di Tao è apparso su Mastodon. Tao, che lavora alla UCLA, è un medaglia Fields e uno dei matematici più seguiti al mondo, il che spiega in parte perché il post ha immediatamente attirato l'attenzione della comunità matematica.

Anche una conversazione ChatGPT condivisa legata al lavoro ha circolato, suscitando discussioni sul ruolo che gli strumenti di IA potrebbero avere nella ricerca matematica contemporanea.

Alcuni osservatori stanno definendo questa occasione un "momento Deep Blue" per l'IA, con riferimento al computer scacchistico di IBM che nel 1997 sconfisse il campione del mondo Garry Kasparov. I link sono stati segnalati da T., un matematico.

Per contesto: le equazioni di Navier-Stokes, che descrivono il moto dei fluidi viscosi, sono tra i problemi aperti più celebri della matematica. Dimostrare l'esistenza e la regolarità delle soluzioni in tre dimensioni è uno dei sette problemi del Millennio istituiti dal Clay Mathematics Institute nel 2000, ciascuno dotato di un premio da 1 milione di dollari. Le equazioni di Eulero incomprimibili, che descrivono il flusso di fluidi non viscosi, sono strettamente correlate, e i risultati di blowup per sistemi affini come le equazioni di Boussinesq e del mezzo poroso vengono spesso studiati perché possono fare luce sulla questione più ampia se le soluzioni regolari di Navier-Stokes possano sviluppare singolarità in tempo finito. Un risultato di blowup mostra che le derivate di una soluzione diventano illimitate in tempo finito; dimostrare il blowup anche per sistemi correlati o forzati è considerato un progresso significativo verso la comprensione del panorama delle singolarità attorno a Navier-Stokes stessa. Se il nuovo risultato costituisca una vera svolta per la matematica assistita dall'IA, come suggerirebbe l'etichetta "Deep Blue", resta oggetto di dibattito, e ulteriori revisioni paritarie e lavori di follow-up ne chiariranno il significato.