Una dichiarazione internazionale, sostenuta dall’International Mathematical Union, chiede a governi, università e riviste scientifiche di non confondere i risultati dell’intelligenza artificiale con prove matematiche pienamente affidabili senza verifica umana. Il documento arriva dopo l’annuncio di OpenAI su una congettura di Erdős e rilancia il tema di trasparenza, attribuzione, copyright, peer review e dipendenza dall’industria tecnologica.
La comunità matematica internazionale alza il livello di attenzione sull’uso dell’intelligenza artificiale nella ricerca. La Leiden Declaration on Artificial Intelligence and Mathematics, pubblicata il 2 giugno 2026, chiede regole condivise per l’impiego di modelli generativi, proof assistant e strumenti automatizzati nella produzione di risultati matematici. Il testo è una iniziativa comunitaria ed è sostenuto dall’International Mathematical Union; al 8 giugno 2026 risultano 2.062 firmatari, un dato che supera il primo nucleo di oltre 150 adesioni citato dalla stampa.
Il caso esplode in un momento di forte esposizione mediatica. Il 20 maggio 2026 OpenAI ha annunciato che un proprio modello interno avrebbe confutato una congettura sul problema della distanza unitaria, legato a Paul Erdős e studiato da quasi 80 anni. Secondo OpenAI, la dimostrazione è stata controllata da matematici esterni e introduce idee di teoria algebrica dei numeri in geometria discreta.
La dichiarazione di Leiden non propone un divieto dell’IA, ma una cornice di responsabilità. Chiede di dichiarare l’uso degli strumenti, mantenere la responsabilità umana sulla correttezza, tutelare i diritti degli autori e non sostituire la revisione scientifica con comunicati stampa o blog aziendali.
Il punto politico è netto: l’industria tecnologica, afferma il documento, ha incentivi commerciali a sovrastimare le capacità dei propri prodotti. Per questo i governi dovrebbero consultare matematici ed esperti indipendenti prima di costruire politiche pubbliche su risultati presentati come rivoluzionari.
Breve approfondimento: cronologia essenziale
Settembre 2025 — Al Lorentz Center di Leiden si tiene la conferenza “Mechanization and Mathematical Research”, da cui nasce il percorso della dichiarazione.
20 maggio 2026 — OpenAI annuncia la confutazione della congettura sulla distanza unitaria di Erdős.
2 giugno 2026 — Pubblicazione della Leiden Declaration.
8 giugno 2026 — Il sito ufficiale registra 2.062 firmatari.
Consigli di approfondimento: leggere il testo ufficiale della Leiden Declaration, il paper tecnico su arXiv e l’annuncio di OpenAI, confrontando claims aziendali e verifica accademica.
Abstract: pro e rischi etico-sociali
L’IA può accelerare la scoperta matematica, suggerire ipotesi e aiutare nella formalizzazione delle prove. Il rischio è che sistemi proprietari, opachi e costosi spostino potere scientifico verso poche aziende, producano risultati plausibili ma errati e indeboliscano attribuzione, copyright e peer review. In futuro, la fiducia pubblica nella scienza dipenderà dalla capacità di distinguere tra assistenza automatizzata, verifica umana e marketing tecnologico.
