В мире современной науки и технологий произошел знаковый момент, который может перевернуть представление о роли искусственного интеллекта в фундаментальных исследованиях. Сотрудник компании Anthropic, не обладающий специальной математической подготовкой, запустил эксперимент, который привел к неожиданным результатам. Нейросеть получила команду попытаться доказать одну из самых сложных математических гипотез, над которой человечество бьется уже более полутора столетия. За доказательство этой гипотезы до сих пор обещают премию в один миллион долларов.
Автоматизация научного поиска: 650 идей за 36 часов
Процесс работы ИИ над задачей занял 1,5 суток. За это время алгоритм продемонстрировал способность к автономному планированию и координации. Модель самостоятельно координировала выполнение задания, протестировав 650 различных идей и подходов к решению. Масштаб вычислительных ресурсов был внушительным: алгоритм израсходовал 31 миллион исходных токенов и вовлек в процесс 60 отдельных субагентов. Это свидетельствует о переходе от простого генерирования текста к сложной когнитивной деятельности, требующей многоуровневой логики и проверки гипотез.
Верификация результатов и формализация
Ключевым этапом стало подтверждение правильности полученных результатов. Два штатных математика компании Anthropic проверили выводы нейросети и подтвердили их корректность. Впоследствии выводы были формализованы с помощью системы интерактивного доказательства теорем Lean. Это критически важный шаг, так как Lean является стандартом для проверки математических доказательств, исключающим человеческую ошибку и обеспечивающим абсолютную точность логики.
Контекст: ИИ в математике в 2026 году
Этот успех стал продолжением ряда математических открытий, достигнутых с помощью нейросетей в последние годы. В текущем 2026 году алгоритмы уже разрешили несколько проблем Эрдеша, а модель Astra от OpenAI доказала 10 важных результатов. Ранее команда Anthropic также опровергла известную гипотезу Якоби. Эти события указывают на то, что ИИ перестал быть просто инструментом для обработки данных и стал полноценным соавтором в создании новых математических знаний.
Этические дебаты: Авторство и ответственность
Несмотря на технический успех, научное сообщество разделено во мнениях. В июне группа известных математиков подписала декларацию, выражающую беспокойство по поводу того, что ИИ подрывает ценность личного авторства и ответственности за открытие. Критики опасаются, что автоматизация доказательств может привести к потере глубины понимания процессов и размыванию ответственности ученых за свои выводы.
Оптимистичный взгляд: Будущее математики
В то же время, многие эксперты, включая лауреата премии Филдса Тимоти Говерса, считают, что привлечение ИИ может изменить математику к лучшему. Они полагают, что нейросети способны находить связи и паттерны, недоступные человеческому разуму, что откроет новые горизонты для науки. Прорыв Anthropic подтверждает, что ИИ способен не только решать поставленные задачи, но и находить неожиданные подходы к решению проблем, которые казались неразрешимыми.
