Yapay zeka, Kurt Gödel'in el yazmalarının deşifre edilmesine yardımcı oldu

Yapay zeka, Fin mantıkçı Jan von Plato'nun matematikçi Kurt Gödel'in stenografi not defterlerini deşifre etmesine yardımcı oldu. Araştırmacıların çalışmaları sonucunda arşivlerde daha önce bilinmeyen yüzlerce teorem ile süreklilik hipotezi ve seçim aksiyomunun tamamlanmaya yakın bir kanıtı keşfedildi.

Bilimsel araştırmanın materyalleri, Gödel'in on yıllar boyunca kullandığı özel Gabelsberger stenografi sistemiyle tutulmuş kayıtları içeriyor. Özel şifreleme ve karmaşık matematiksel notasyonlar nedeniyle manuel deşifre süreci daha önce yıllarca sürüyordu, ancak algoritmalar el yazısı tanıma sürecini hızlandırmayı başardı.

Elde edilen veriler, matematikçinin yaratıcılığının geç dönemine ve matematik felsefesi üzerine çalışmalarına ışık tutuyor. Deşifre edilen materyaller, detaylı inceleme ve kanıtların doğrulanması için akademik topluluğa sunuldu.