Представьте, что вас телепортировали на вершину горы. Вокруг туман, вы не знаете, как сюда попали, какие тропы ведут вниз и что находится за соседним хребтом. Вы стоите на вершине — но в темноте. Именно так один из собеседников Quanta Magazine описал ощущение математиков от доказательств, которые сегодня выдают системы искусственного интеллекта. Ответ есть. Понимания — нет.
Представьте, что кто-то объявляет: мы запустим аппарат к другой звезде, он доберётся туда через восемьдесят тысяч лет, а маршрут для него придумал искусственный интеллект за несколько дней работы. Звучит как заголовок из фантастики, но именно так в начале сентября 2026 года была представлена миссия Fermi Explorer. И самое интересное в этой истории — не обещание долететь до соседней звёздной системы, а то, как команда пытается превратить смелую идею в задачу, которую можно считать, проверять и критиковать шаг за шагом.
