Математики с помощью ИИ прочли тетради Гёделя — там сотни неопубликованных теорем

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

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

Содержание находок ещё предстоит проверить и опубликовать: пока речь о том, что архив стал читаемым.