Сюжет
Нейросеть помогла обнаружить 663 математических утверждения в тетрадях Курта Гёделя 2 события · обновлён 14 ноября
ИИ нашел в архивах Гёделя 663 математических утверждения
Прогород Новостиматериал от 14 ноября 2026, 19:25 · местное время источника
Об источнике
Сетевое издание, зарегистрированное в реестре СМИ Роскомнадзора в 2022 году. Учредитель-организация — ООО «ПРОКАЗАН».