Расшифрованы скрытые рукописи Курта Гёделя с помощью ИИ

Тайна 1009 страниц Курта Гёделя

Рукописи Курта Гёделя — одного из самых оригинальных мыслителей в математике и логике — долгое время оставались недоступными. Его 1009 страниц написаны на немецком стенографическом шрифте Габельсбергер, что значительно усложняло их чтение.

Новый проект в Университете Хельсинки

С 2017 года под руководством Яна фон Плато в Университете Хельсинки реализуется масштабный исследовательский проект. Благодаря гранту Европейского исследовательского совета в размере 2,5 млн евро команда систематически изучает рукописи Гёделя. Фон Плато не только освоил стенографию Габельсбергера, но и привлек искусственный интеллект — модель Claude — для помощи в расшифровке.

Сотрудничество человека и искусственного интеллекта

Модель Claude подготовила 650-страничное пояснение к рукописям Гёделя, что позволяет лучше понять доказательства сотен теорем. Фон Плато проверил эти доказательства с помощью программы Coq. В итоге выявлено 663 теоремы: около 400 подтверждены, 200 требуют уточнений, а 50 оказались ошибочными. Интересно, что сам Гёдель иногда помечал ошибки словами «falsch!» (неверно) и «schlecht!» (плохо).

Краткие факты из жизни Гёделя

В 1931 году Гёдель совершил революцию в основах математики. В 1940-м он бежал из Австрии от нацистов и обосновался в Институте перспективных исследований в Принстоне, где подружился с Альбертом Эйнштейном. В последние годы жизни Гёдель страдал от паранойи, питался только едой, приготовленной женой, и умер от голода в 1978 году.

Новые доказательства и вопросы

Среди результатов работы Claude — доказательства независимости аксиомы выбора, которые фон Плато подтвердил с помощью Coq. Однако степень принадлежности этих доказательств самому Гёделю пока не установлена. Другие записи, особенно по физике и космологии, остаются нерасшифрованными.

Взгляд в будущее математики

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