L'IA ha aiutato a decifrare i manoscritti di Kurt Gödel

L'intelligenza artificiale ha aiutato il logico finlandese Jan von Plato a decifrare i taccuini stenografici del matematico Kurt Gödel. Grazie al lavoro dei ricercatori, negli archivi sono stati scoperti centinaia di teoremi precedentemente sconosciuti e una dimostrazione quasi completa dell'ipotesi del continuo e dell'assioma della scelta.

I materiali della ricerca scientifica includono appunti presi con lo speciale sistema di stenografia Gabelsberger, che Gödel ha utilizzato per decenni. A causa della cifratura specifica e delle complesse notazioni matematiche, la decifrazione manuale richiedeva in precedenza anni, ma gli algoritmi sono riusciti ad accelerare il processo di riconoscimento del testo scritto a mano.

I dati ottenuti fanno luce sull'ultimo periodo creativo del matematico e sui suoi lavori di filosofia della matematica. I materiali decifrati sono stati consegnati alla comunità accademica per uno studio dettagliato e per la verifica delle dimostrazioni.