Записи австрийского логика Курта Гёделя, которые он вёл стенографией, оцифрованы и проанализированы с помощью искусственного интеллекта: исследователи утверждают, что в них скрыты сотни уже доказанных теорем, сообщает The Guardian. Гёдель считается одним из самых оригинальных мыслителей XX века, однако значительная часть его наследия оставалась труднодоступной: учёный оставил 1009 страниц плотно исписанного текста, причём многие фрагменты выполнены устаревшей стенографией. ИИ-инструменты позволили распознать и систематизировать эти материалы, выявив в них теоремы, которые, по словам исследователей, уже были доказаны самим Гёделем, но до сих пор не были известны широкому кругу специалистов. Работа показывает, как машинный анализ рукописей может открывать забытые результаты в математике и логике, делая архивные записи доступными для дальнейшего изучения.