Участь гипотезы Римана

Палящее знойное солнце безжалостно испепеляло руины некогда прославленного Брауновского университета. Наступило первое июня 2035 года; профессор Родерик Шотц неподвижно застыл на пороге своего кабинета, прищурившись от слепящего света и вытирая со лба градом катившийся пот. Столбик термометра уже третьи сутки подряд зашкаливал за сорок градусов.

— Чёрт возьми, — процедил Шотц сквозь зубы, наблюдая, как плотные клубы ядовитой гари поднимаются из-за серверного комплекса.

Называть это помещение «кабинетом» можно было лишь с огромной натяжкой. Тремя годами ранее математический факультет подвергся принудительной реструктуризации, превратившись в группу ИИ-математики — одно из семнадцати ответвлений нового мегадепартамента AI-STEM. Новое руководство заняло просторные аудитории старого корпуса, а прежней профессуре выделили тесную шеренгу деревянных будок, подозрительно напоминающих переоборудованные уборные. Большинство преподавателей давно перестали появляться на этой «работе», однако Шотцу претила затворническая жизнь в некогда роскошном модернистском коттедже в Баррингтоне, где теперь ютилось сразу шесть чужих семей.

На внешней стене его будки по-прежнему красовался распечатанный скриншот эпохального твита. Текст гласил:

чзх только что доказали гипотезу римана хз что это ваще пасиб моему офигенному пупсику

Историческая публикация появилась в сети 1 января 2032 года. Рядом красовался QR-код, по ссылке которого открывался криптографически заверенный сертификат, неопровержимо подтверждающий безупречность вычислений. Автором поста числилась двадцатилетняя тревел-блогерша, состоящая в романтических отношениях с лимоном-лидером команды инженеров из United AI — той самой корпорации, что вела охоту за гипотезой Римана. Стратеги компании рассудили, что финальный триумфальный запрос эффектнее поручить именно популярной инфлюенсерше.

У Шотца сохранилась и распечатка того самого промпта. Он выглядел следующим образом:

Гипотеза Римана: сделай красиво, бро.

Шотц обладал достаточно глубокими познаниями в истории искусственного интеллекта, чтобы отдавать себе отчет: за этой внешней простотой скрывалась колоссальная, филигранно выстроенная лингвистическая архитектура. Фраза «Сделай красиво, бро» служила лишь триггером, запускающим запатентованный в тот год универсальный математический протокол United AI объемом в 168 страниц, завязанный на рекурсию и квантовое сжатие. Этот монументальный документ детально регламентировал алгоритм генерации машинных умозаключений. Завершалась инструкция лаконичным напутствием:

Не жалей средств, бро!

Фатальный промпт был отправлен 17 декабря 2031 года. Вмиг свинцово-багровые небеса над Принстоном, Пало-Альто и Кембриджем погрузились во тьму на две долгие недели. Очевидцы из этих несчастных городов вспомогали о жутком, не утихающем ни на минуту гуле, напоминающем одновременную работу тысяч газонокосилок и бензопил, вперемешку с удушливым амбре нитрометана и рвотных масс. Наконец этот апокалипсис завершился, и изумленному миру явили тот самый твит.

К середине 2030 года нейросетевые агенты уже триумфально расправились с подавляющим большинством культурологических и математических загадок, над которыми десятилетиями бились лучшие умы человечества. Впрочем, технологические монополии потеряли интерес к чистой математике еще в 2029-м, убедившись, что кремниевые алгоритмы превосходят людей на несколько голов. ИТ-гиганты переключили фокус внимания на куда более сложные вызовы — в частности, на создание безупречных эмпатичных компаньонов, способных с ювелирной точностью имитировать искреннюю заботу и сострадание.

К 2030 году виртуальные собеседники утешали пользователей не хуже живых психотерапевтов, что оказалось как нельзя кстати на фоне перманентных войн, засилья психопатов у руля государств, экологического коллапса, массовой безработицы и прочих экзистенциальных кризисов. Обзавелся таким компаньоном и Шотц: ИИ пытался облегчить его адаптацию к хроническим лучевым ожогам кожи и крушению академической карьеры. Добившись успеха в симуляции человеческого тепла, ИИ-индустрия двинулась дальше, ангажировав выдающихся поэтов и комиков, чтобы научить машины по-настоящему растрогать человека, довести его до слез или вызвать искренний смех.

И тем не менее, в высшем эшелоне корпораций оставалась горстка упертых фанатиков, одержимых романтической идеей взять штурмом последние бастионы математической классики ради красивого финала. Вплоть до 2031 года гипотеза Римана сопротивлялась всем попыткам. Пасовал даже исполинский «Броцефал-5», чьи аппетиты к электроэнергии и ресурсам ежегодно оставляли пустыми площади, сопоставимые с размерами Провиденса. Перелом наступил, когда прагматичное руководство United AI додумалось распустить штат ученых-людей, переложив всю работу на специализированный ИИ, функционирующий в рамках протокола «Сделай красиво». Эксперимент увенчался успехом.

— Чёрт, — повторил Шотц. Оторвав взгляд от распечатки, запустившей цепь мрачных размышлений, он посмотрел на подозрительное багрово-коричневое пятно с неровными темными краями на правом предплечье. «Похоже на меланому… впрочем, сейчас это уже не имеет значения». Профессор прекрасно понимал, что образование следовало показать специалисту, но после окончательного коллапса здравоохранения в Род-Айленде прошлой осенью надеяться на медицинскую помощь не приходилось. Его угнетало осознание того, что отмеренный ему срок подходит к концу, хотя слабым утешением служил тот факт, что благодаря решению проблемы Римана человечество теперь досконально осведомлено об асимптотике распределения простых чисел.

Примечания переводчика

Автор этого произведения — Ричард Эван Шварц [Richard Evan Schwartz], известный американский математик и профессор Брауновского университета. Родившись в 1966 году, он получил степень бакалавра в UCLA в 1987-м, защитил докторскую диссертацию в Принстоне в 1991-м, а с 2005 года преподает в Брауне. Сфера его научных интересов охватывает геометрию, топологию и теорию динамических систем, включая математический бильярд. Свой метод исследований Шварц характеризует как экспериментальный: он предпочитает начинать изыскания с компьютерного моделирования, выявляя эмпирические закономерности и лишь затем приступая к строгим аналитическим доказательствам.

Художественная литература давно стала отдушиной для математика, хотя он и обращается к ней эпизодически. На его личной странице опубликованы синопсисы несуществующих книг и десяток оригинальных рассказов, включая этот. Самые ранние тексты датированы 1993 годом, причем значительная часть библиографии пришлась на рубеж тысячелетий. Тем не менее Шварц продолжает творить в жанре художественной прозы: например, сатирический протокол заседания птичьего совета «Minutes from the Bird Council Meeting» датирован 2 июля 2026 года. Кроме того, из-под его пера вышли несколько детских книг по математике и графических новелл.

Если гипотеза Римана — это подлинная и одна из величайших нерешенных проблем современной математики, то департамент AI-STEM представляет собой чисто авторскую сатирическую экстраполяцию будущего, где традиционные естественнонаучные дисциплины слились с искусственным интеллектом. Имя главного героя созвучно имени самого автора, а их инициалы, академические регалии и геодислокация полностью совпадают. Однако было бы ошибкой счесть Шварца банальным неолуддитом — его реальное отношение к нейротехнологиям гораздо многограннее.

В своей научной статье «Vertex-Minimal Paper Tori» (2026) Шварц подробно освещает опыт совместной работы с моделями ChatGPT 4o и ChatGPT 5. Он задействовал языковые сети для концептуального обсуждения математических идей, оценки оптимизации написанного им софта, а также для выявления логических лакун и опечаток в тексте, форматирования кода и массивов данных. В одном из эпизодов GPT-5 самостоятельно сгенерировала элегантную алгебраическую конструкцию, до которой сам ученый, по его собственному признанию, мог и не додуматься. При этом Ричард категорически пресекал попытки моделей писать за него сам текст публикации и отвергал их стилистические правки, трепетно оберегая свой индивидуальный авторский голос.

С другой стороны, математик убежден, что лавинообразное развитие ИИ обесценивает классические формы ментального труда. В правилах выставления оценок для студентов на 2027 учебный год Ричард констатирует, что современные алгоритмы способны щелкать как орехи практически любые академические задачи, а погоня за баллами лишь стимулирует студентов поддаться искушению и отказаться от самостоятельного освоения материала. В качестве превентивной меры Шварц перевел свои дисциплины на безоценочную систему зачетов (S/NC). Хотя из-за этого его курсы могут потерять в популярности среди карьеристов, поскольку формат S/NC не учитывается при расчете среднего балла аттестата (GPA), в самом Брауновском университете система GPA была отменена еще в 1969 году.

Источник