Конец монополии на чистый разум
Математика всегда считалась последним бастионом человеческого интеллекта. Если в шахматах, программировании и даже искусстве нейросети уже давно чувствуют себя как дома, то чистая математика с ее абстрактными доказательствами казалась недосягаемой для алгоритмов. Однако в июне 2026 года ситуация резко изменилась. Международное математическое сообщество официально забило тревогу, признав, что искусственный интеллект начинает диктовать свои правила в фундаментальной науке.
Поводом для паники стала публикация «Лейденской декларации об искусственном интеллекте и математике», которая вышла в свет 2 июня 2026 года. Этот документ стал результатом восьми месяцев работы группы из 16 ведущих исследователей, собравшихся после знаковой конференции в Лейденском университете. Декларацию официально поддержал Международный математический союз (IMU) — организация, определяющая вектор развития мировой математической науки и присуждающая престижнейшую Филдсовскую премию. Математики открыто выразили обеспокоенность тем, что контроль над научными исследованиями переходит в руки транснациональных технологических корпораций.
«Мы стоим на пороге ситуации, когда частные компании будут решать, какие математические направления развивать, основываясь на коммерческой выгоде их ИИ-моделей», — предостерегают авторы декларации.
Как ИИ решил задачу с 80-летней историей
Главным триггером для принятия декларации стало событие, произошедшее в середине мая 2026 года. Компания OpenAI объявила, что одна из ее новейших моделей с функцией рассуждения (reasoning) смогла опровергнуть сложнейшую геометрическую гипотезу, над которой ведущие умы человечества безуспешно бились более 80 лет. ИИ не просто нашел контрпример, но и предоставил математически безупречное доказательство своей правоты.
Этот прецедент показал, что современные большие языковые модели переросли роль простых ассистентов. Они способны генерировать принципиально новые знания в областях, где требуется глубокое логическое мышление. Ученые опасаются, что коммерциализация ИИ приведет к закрытости научных данных: алгоритмы обучаются на общедоступных статьях, но их собственные методы рассуждения остаются коммерческой тайной за семью печатями.
Сравнение возможностей ИИ-моделей для науки
Для решения сложных академических задач сегодня используются флагманские модели от ключевых игроков рынка. В таблице ниже приведено сравнение актуальных ИИ-семейств, способных выполнять глубокие логические расчеты:
| Разработчик и семейство моделей | Актуальные версии (на июнь 2026) | Стоимость подписки | Ключевые особенности для науки |
|---|---|---|---|
| OpenAI (ChatGPT) | GPT-5.5 Thinking, GPT-5.5 Pro | Plus: $20/мес. Pro: $100–$200/мес. | Продвинутое логическое рассуждение (reasoning), глубокий поиск (Deep Research) |
| Anthropic (Claude) | Opus 4.8, Sonnet 4.6 | Pro: $20/мес. Max: от $100/мес. | Анализ больших объемов кода, режим проектов, работа со сложным контекстом |
| Google (Gemini) | Gemini 3.1 Pro, 3.1 Pro Deep Think | Pro: $19.99/мес. Ultra: от $99.99/мес. | Мультимодальный анализ, прямая интеграция со средой Flow |
Подобная вычислительная мощность требует колоссальных ресурсов, и доступ к ней распределен неравномерно. Это создает дополнительный барьер для исследователей из разных стран.
Новая реальность: соавтор или конкурент?
Несмотря на панику, часть математического сообщества видит в ИИ не угрозу, а мощный катализатор прогресса. Нейросети могут взять на себя рутинную работу по проверке гипотез и поиску контрпримеров, освобождая время ученых для творческого поиска. Лейденская декларация — это не попытка запретить технологии, а призыв к технологическим гигантам сделать ИИ-инструменты прозрачными и доступными для всего академического сообщества, а не только для тех, кто может позволить себе сверхдорогие корпоративные подписки.
