В 25-ю годовщину терактов 11 сентября ИИ преобразует математику и провоцирует споры об энергопотреблении дата-центров

В сентябре 2026 года исполнится 25 лет со дня террористических актов 11 сентября. К этой важной вехе приурочено обнародование новых официальных документов, проливающих свет на исторические события. В то же время более широкий научно-технологический ландшафт претерпевает глубокую трансформацию, вызванную стремительным развитием искусственного интеллекта. Как сообщает Scientific American, широкое внедрение вычислительных моделей ИИ вызвало острую дискуссию в математическом сообществе о будущем логического вывода и теоретических доказательств. Одновременно с этим физическая инфраструктура, необходимая для поддержания этих сложных вычислительных нагрузок, вызывает всё большую обеспокоенность у исследователей окружающей среды, политиков и операторов энергосетей в связи с локальным загрязнением, потреблением воды и резким ростом спроса на электроэнергию.

## Главные факты - В сентябре 2026 года исполняется 25 лет со дня атак 11 сентября 2001 года, что совпадает с публикацией ранее не разглашавшихся исторических документов. - Системы искусственного интеллекта всё чаще используются в теоретической математике, что стимулирует дискуссии о роли машинной помощи в формальных доказательствах. - Гипермасштабируемые вычислительные мощности, обеспечивающие обучение сложных моделей ИИ, ведут к рекордному спросу на электроэнергию и вызывают обеспокоенность по поводу экологического следа во всём мире. - Академические исследователи и математики расходятся во мнениях относительно того, сохраняют ли сгенерированные машиной доказательства человеческую интуицию и концептуальное понимание. - Энергетические компании и экологические регуляторы сталкиваются с растущими трудностями при попытке сбалансировать корпоративные цели по переходу на чистую энергию с высокими потребностями современных дата-центров.

## Что произошло В материале Scientific American подчеркивается взаимосвязь ключевых событий, разворачивающихся на стыке истории, фундаментальной науки и технологической политики. По мере приближения 25-й годовщины атак 11 сентября 2001 года обнародуются новые первоисточники, предоставляющие исследователям и общественности дополнительные подробности о государственных и архивных документах, накопленных за последнее четверть века.

Одновременно с этим академическое сообщество сталкивается со сдвигом в математической методологии, вызванным искусственным интеллектом. Нейронные сети, системы автоматического доказательства теорем и механизмы формальной верификации применяются для решения сложных уравнений, выявления закономерностей в многомерных наборах данных и помощи в проверке сложных математических гипотез. Хотя сторонники рассматривают эти вычислительные инструменты как революционные активы, способные решить давно стоящие открытые проблемы, критики и традиционалисты утверждают, что опора на алгоритмы «черного ящика» угрожает размыванием человеческой концептуальной ясности и строгой логической обоснованности.

Это стремительное расширение исследований в области ИИ опирается на масштабное наращивание физической вычислительной инфраструктуры. Центры обработки данных, вмещающие десятки тысяч специализированных графических процессоров и ускорителей, требуют непрерывного высокого энергопотребления и мощных систем охлаждения. В нескольких регионах Северной Америки и Европы эксплуатация таких объектов вызвала общественные споры из-за загрязнения окружающей среды, надежности региональных энергосетей и потребления местных водных ресурсов, необходимых для предотвращения перегрева серверов.

## Почему это важно Схождение этих тенденций влечет за собой серьезные последствия для исследовательских институтов, энергетических рынков и экологического регулирования. В сфере математики и теоретической науки внедрение инструментов машинного обучения меняет способы формирования и проверки знаний. Если математические доказательства будут всё больше зависеть от сложной алгоритмической верификации, которую математики-люди не могут легко проверить строчка за строчкой, фундаментальные критерии рецензирования, академического консенсуса и педагогической подготовки должны будут адаптироваться.

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

Наконец, публикация архивных документов, приуроченная к 25-й годовщине событий 11 сентября, подчеркивает сохраняющуюся важность официальной прозрачности. Первичные государственные записи предоставляют историкам, юридическим аналитикам и семьям жертв верифицированную документацию, позволяя провести независимую оценку действий институтов и эволюции политики безопасности за прошедшее четверть века.

## Предыстория Чтобы понять значимость этих пересекающихся вопросов, необходимо рассмотреть историческую траекторию вычислительной математики, развития инфраструктуры данных и политики рассекречивания государственных документов.

Использование компьютеров в математике имеет противоречивую историю, насчитывающую несколько десятилетий. Переломный момент наступил в 1976 году, когда математики Kenneth Appel и Wolfgang Haken использовали специальную компьютерную программу для завершения доказательства теоремы о четырех красках (Four Color Theorem). Опора на сотни часов автоматизированных вычислений изначально вызвала скептицизм со стороны математиков, сомневавшихся в том, можно ли считать настоящим математическим пониманием доказательство, которое нельзя полностью проверить вручную. В последующие десятилетия было разработано программное обеспечение для автоматической проверки доказательств, такое как Coq, Lean и Isabelle/HOL, для проверки логики сложных математических утверждений с помощью машин. Недавняя интеграция моделей глубокого обучения и больших языковых архитектур ускорила эту тенденцию, позволяя алгоритмам не только проверять человеческую логику, но и предлагать гипотезы теорем, оптимизировать символьные вычисления и находить новые доказательства в самых разных областях — от теории узлов до перемножения матриц.

Наряду с этими алгоритмическими достижениями экспоненциально выросли и физические масштабы вычислений. В эпоху становления интернет-инфраструктуры в конце 1990-х и 2000-х годах дата-центры в основном служили узлами веб-хостинга и базового хранения файлов с скромными потребностями в энергии. Развитие облачных вычислений в 2010-х годах сконцентрировало серверную архитектуру в крупных гипермасштабируемых кампусах под управлением ведущих технологических компаний. Появление генеративного ИИ и обучение глубоких нейросетей в 2020-х годах кардинально изменили требования к объектам: плотность мощности на стойку выросла со стандартных 5–10 киловатт до 40–100 киловатт и более. В результате мировое потребление электроэнергии дата-центрами стремительно выросло, а прогнозы международных энергетических организаций указывают на то, что спрос в этом секторе может удвоиться в течение нескольких лет, что создает значительную нагрузку на региональные линии электропередачи.

Что касается государственных документов, политика рассекречивания федерального правительства США, регулируемая Executive Order 13526, обычно предписывает, чтобы секретные документы, имеющие историческую ценность, проходили автоматический пересмотр на предмет рассекречивания через 25 лет, за исключением особых случаев, связанных с национальной безопасностью. За последние два десятилетия периодические публикации в рамках Freedom of Information Act (FOIA) и специальных директив Конгресса, таких как рассекречивание 28 страниц из Совместного расследования Конгресса 2002 года по делу 11 сентября, обеспечили раскрытие ключевой информации касательно разведданных до атак и межведомственной координации.

## Реакция События, освещенные Scientific American, вызвали резонанс в академических, регулирующих и общественных кругах. На математических факультетах преподаватели высказывают разные точки зрения: одни приветствуют инструменты ИИ как незаменимых помощников, избавляющих от рутинных вычислений, а другие выражают опасение, что автоматизированные системы могут привести к снижению глубокого теоретического понимания у студентов и начинающих исследователей.

Экологические организации, местные инициативные группы и регуляторы коммунальных услуг всё чаще выражают обеспокоенность по поводу экологического следа расширения дата-центров. Защитники окружающей среды организуют общественные слушания в комиссиях по коммунальным услугам штатов, требуя более строгого надзора за соглашениями о закупке электроэнергии и обязывая операторов дата-центров оплачивать выделенные мощности возобновляемой энергии, а не подключаться к существующим муниципальным сетям. В то же время историки и сторонники открытости правительства приветствуют продолжение рассекречивания 25-летних федеральных документов, связанных с 11 сентября, призывая государственные ведомства минимизировать купюры для обеспечения полной исторической прозрачности.

## Что пока неизвестно В этих областях остается без ответа ряд ключевых вопросов. В сфере исторических документов точный объем, структура и содержание новых материалов по 11 сентября еще не были полностью каталогизированы или проанализированы публично, что оставляет открытым вопрос о том, содержат ли публикации существенные новые оперативные детали или в основном подтверждают существующие исторические версии.

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

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

В сфере энергетики и экологического регулирования заинтересованные стороны будут следить за запланированными законодательными сессиями и решениями комиссий по коммунальным услугам в ключевых регионах размещения дата-центров — таких как Northern Virginia, Texas и Западная Европа, — где предлагаемые нормы могут ввести строгие ограничения на использование воды, требования к чистой энергии или прямые инфраструктурные сборы для высокоплотных вычислительных объектов. Наконец, историки и правоведы продолжат изучение публикаций из федеральных архивов, приуроченных к 25-й годовщине 11 сентября, по мере того как документы будут проходить формальную обработку и передаваться в общественный доступ через National Archives and Records Administration.

Этот материал основан на оригинальном репортаже, опубликованном Scientific American.