Sfide scientifiche
Una dichiarazione firmata da oltre 150 matematici, informatici teorici e ricercatori di diversi Paesi sta attirando l’attenzione ben oltre gli ambienti accademici. Il documento, denominato Leiden Declaration on AI and Mathematics, nasce in un momento particolarmente delicato: da una parte aziende come OpenAI sostengono che i propri modelli stiano iniziando a contribuire alla soluzione di problemi matematici aperti da decenni; dall’altra, una parte significativa della comunità scientifica invita governi, università e finanziatori a mantenere un atteggiamento prudente e a non confondere annunci mediatici con risultati consolidati.
In gioco ci sono il ruolo dell’intelligenza artificiale nella produzione di conoscenza, la credibilità della ricerca scientifica e la crescente influenza delle grandi aziende tecnologiche all’interno del mondo accademico. La dichiarazione pubblicata a Leida, città situata nell’Olanda meridionale, prova a riportare la discussione su basi più rigorose: meno slogan, più verifiche indipendenti.
La matematica sta davvero entrando nell’era delle scoperte prodotte dall’AI?
Per comprendere perché la Leiden Declaration abbia suscitato tanto interesse occorre partire da una serie di eventi che si sono susseguiti nel giro di pochi mesi. All’inizio del 2026 un giovane di 23 anni, privo di una formazione accademica specifica in matematica, ha sostenuto di aver utilizzato ChatGPT per risolvere uno dei problemi aperti presenti nel database dedicato alle congetture di Paul Erdős. L’episodio ha ricevuto un’enorme copertura mediatica, ma molti matematici hanno invitato alla cautela, sottolineando come la validazione di una dimostrazione richieda verifiche approfondite e spesso mesi di lavoro specialistico.
