Matematica e Intelligenza artificiale

Oltre la dimostrazione – Intelligenza artificiale e progresso matematico

Una macchina che dimostra teoremi può lasciare senza lavoro i matematici? Partendo dall'annuncio di OpenAI sulle equazioni di Navier–Stokes, Lorenzo Pareschi ricorda che fare matematica non significa solo chiudere problemi famosi: restano da formulare le domande,...

Una nuova etica della scoperta matematica (matematici tombaroli o archeologi?)

Pubblichiamo una riflessione di Carlo Nitsch sulla svolta rappresentata dalla dimostrazione di Navier-Stokes ottenuta per la prima volta da una macchina, e si interroga su cosa resti del mestiere di matematico nell'era dell'intelligenza artificiale: autorialità,...

Viviamo in tempi interessanti

Molti matematici hanno paura che le IA toglieranno loro il lavoro. Altri sono più ottimisti. Ma i risultati delle IA hanno probabilmente reso visibile un problema che era già presente da molto tempo.

Matematica e intelligenza artificiale in nove “no”

Continuano le reazioni del mondo matematico all'annuncio di OpenAI di aver risolto il problema del Millennio riguardante le equazioni di Navier-Stokes. È la volta di Riccardo Adami che propone alcune risposte ad alcune domande che molte persone si stanno facendo.  L’8...

Il fine, non la fine, della matematica

Il recente caso Navier-Stokes riapre il dibattito sul ruolo dell’intelligenza artificiale nella disciplina: che cosa significa fare matematica nell’era dell’intelligenza artificiale? Una dimostrazione formalmente corretta è sufficiente se non produce comprensione e...
Ma non sarà meno umana

Ma non sarà meno umana

L’IA può aiutare a esplorare, può suggerire e far emergere errori, esempi, analogie, strade laterali. Può comprimere settimane di tentativi. Ma alla fine il lavoro matematico resta dove è sempre stato. Ripubblichiamo su MaddMaths! l’articolo di Cristiana...
This website uses the awesome plugin.