Сюжет · Россия

Нейросеть помогла обнаружить 663 математических утверждения в тетрадях Курта Гёделя

2 события · 2 источника Обновление: 14.11.2026 16:25 UTC

Сюжет развивается · последнее событие 14.11.2026

Исследователи из Хельсинкского университета под руководством Яна фон Плато использовали нейросеть Claude для анализа 16 рабочих тетрадей логика Курта Гёделя, написанных стенографией Габельсбергера. Модель за несколько дней подготовила 650-страничный анализ и помогла выявить 663 математических утверждения. Около 400 из них прошли формальную проверку в системе Coq без изменений, примерно 200 потребовали уточнений, а около 50 оказались ошибочными.

Последнее: Нейросеть Claude помогла финским исследователям обнаружить 663 математических утверждения в рабочих тетрадях Курта Гёделя, включая завершенные теоремы и черновики доказательств. Об этом рассказал руководитель проекта из Хельсинкского университета Ян фон Плато в интервью The Guardian.

Развитие сюжета

Время событий указано в UTC; время публикаций — в подписях первоисточников.

14.11.2026 14:37 UTC
ИИ расшифровал тетради Гёделя и нашел 663 математических утверждения
Нейросеть Claude помогла финскому математику Яну фон Плато из Хельсинкского университета выявить в рукописях Курта Гёделя 663 математических утверждения — от завершенных теорем до набросков доказательств. Об этом фон Плато рассказал в интервью The Guardian, сообщает Life.ru. Об этом рассказывает издание Togliatti24.
Мой Альметьевск14 ноября 2026, 17:37 · местное время источника
14.11.2026 16:25 UTC
ИИ нашел в архивах Гёделя 663 математических утверждения
Нейросеть Claude помогла финским исследователям обнаружить 663 математических утверждения в рабочих тетрадях Курта Гёделя, включая завершенные теоремы и черновики доказательств. Об этом рассказал руководитель проекта из Хельсинкского университета Ян фон Плато в интервью The Guardian.
Прогород Новости14 ноября 2026, 19:25 · местное время источника