ИИ помог расшифровать рукописи Курта Гёделя

Искусственный интеллект помог финскому логику Яну фон Плато расшифровать стенографические блокноты математика Курта Гёделя. В результате работы исследователей в архивах были обнаружены сотни ранее неизвестных теорем и близкое к завершению доказательство континуум-гипотезы и аксиомы выбора.

Материалы научного исследования включают записи, сделанные особой системой стенографии Габельсбергера, которую Гёдель использовал на протяжении десятилетий. Из-за специфического шифра и сложных математических нотаций расшифровка вручную ранее затягивалась на годы, однако алгоритмы смогли ускорить процесс распознавания рукописного текста.

Полученные данные проливают свет на поздний период творчества математика и его работы по философии математики. Расшифрованные материалы переданы академическому сообществу для детального изучения и проверки доказательств.