Математик и автор книг Стивен Строгац не может сдержать слёз, когда говорит о прорывах в своей области, связанных с искусственным интеллектом (ИИ) за последнюю неделю. «Наука захватывает, — говорит профессор Корнеллского университета, — но вместе с этим много человеческой неприятности».
• NASA и IBM представили ИИ-модель для анализа лунных данных
Во вторник OpenAI (компания-разработчик ИИ) сообщила, что использовала десятки тысяч агентов (программных помощников) для решения математической задачи, которой 90 лет и за которую была назначена награда в 1 миллион долларов. Решение, которое ещё требует независимой проверки, опирается на стратегию, разработанную испанскими математиками Диего Кордовой и Луисом Мартинесом-Сороа. Объявление омрачили заявления другого математика, Тристана Бакмастера, который утверждает, что OpenAI поспешила с решением задачи, узнав о его работе совместно с исследователем Anthropic (компания-разработчик ИИ) Левентом Алпёге. Бакмастер также заявляет, что OpenAI пыталась повлиять на то, кому достанется признание за работу.
Этот разрыв — симптом быстрых перемен в области из-за достижений ИИ. Строгац, соавтор книги «Big Math» о том, как математика ускользает от человеческого понимания (выходит в ноябре), описывает это как гонку корпоративных лабораторий за заголовками перед крупными IPO (первичными публичными размещениями акций).
На прошлой неделе Anthropic сообщила, что Claude (ИИ-модель) доказала 29 500 малых теорем, формализуя существующее доказательство знаменитой Великой теоремы Ферма — проекта, над которым другие математики работали годами. В августе OpenAI объявила о прогрессе в 10 других давних математических проблемах. По словам Строгаца, ИИ ускоряет математические прорывы, но что это значит для экспертов, посвятивших области всю жизнь, остаётся неясным.
• Меркурий мог сжаться сильнее, чем считалось, выяснили ученые
«Я думаю, 2026 год запомнится либо как annus mirabilis (год чудес), либо как annus horribilis (ужасный год) для математики, потому что так много произошло», — говорит Строгац в интервью WIRED, сидя перед стеной с рамками университетских наград. «В будущем вы не сможете конкурировать без ИИ, если хотите делать прорывную математику», — добавляет он.
Его соавтор по книге Алекс Таунсенд уже использует технологию для ускорения исследований. Недавно он применил ChatGPT (чат-бот с ИИ), чтобы помочь решить десятилетнюю задачу численной линейной алгебры. Таунсенд и его соавтор заявили, что без технологии объём работы и соотношение затрат и результата были бы недопустимо высокими. Но хотя ИИ помог его работе, он также меняет взгляд Таунсенда на область и свою роль в ней. «Я на самом деле чувствую себя немного расстроенным, что посвятил 15 лет жизни исследованиям в математике, и в момент карьеры, когда я очень продуктивен и на пике силы как математик, этот пиковый навык больше не существует. Что-то способно превзойти меня», — говорит он. «Раньше это было так захватывающе, потому что ты мирового класса, делаешь отличные исследования, раздвигаешь границы знаний, а теперь я не чувствую, что я на переднем крае знаний. Я тот, у кого есть ИИ-агент, что ощущается совсем иначе. И я чувствую себя полностью под угрозой».
Строгац сравнивает текущий момент для математики с фильмом ужасов, где ИИ, управляемый плохо понятными системами, подбирается всё ближе. «Но мы ещё не в конце фильма», — говорит Строгац. «Инстинктивно я действительно в ужасе». Он размышляет о том, что прорывы ИИ 2026 года значат для математики, математиков и человечества.
Читайте также:
• У пожилых нашли 24 цепочки назначений из-за побочных эффектов лекарств
• В Швейцарии прошло исследование почвы с помощью закопанных трусов
• Астрономы нашли способ обнаружить океаны на экзопланетах по блику