Основатель Cardano Чарльз Хоскинсон 9 сентября заявил, что прогресс искусственного интеллекта в формальной математике оказался значительно глубже, чем он ожидал. Его комментарии прозвучали после того, как OpenAI 8 сентября опубликовала исследование, в котором утверждается, что внутренняя модель координировала около 10 000 агентов и за 88 часов сформировала предлагаемое решение одной из задач тысячелетия — проблемы существования и гладкости решений уравнений Навье–Стокса. Затем система GPT-6 Astra еще 17 часов формализовала и проверяла доказательство в Lean.
OpenAI утверждает, что доказательство демонстрирует, как изначально гладкая стационарная жидкость под действием гладкой внешней силы может за конечное время развить сингулярность, что соответствует пунктам C и D официальной формулировки задачи. Компания опубликовала аналитическую статью и код на Lean, но заявила, что не планирует претендовать на приз в $1 млн. При этом Математический институт Клэя по-прежнему классифицирует проблему Навье–Стокса как нерешенную: для признания решения требуется публикация в квалифицированном издании, затем не менее двух лет и широкое признание математическим сообществом.
Хоскинсон, который в 2021 году пожертвовал $20 млн Университету Карнеги–Меллона на создание Hoskinson Center for Formal Mathematics, признал, что изначально рассчитывал на использование формальных систем прежде всего для координации коллективной работы математиков и проверки доказательств, написанных людьми. «Мы никогда не предполагали, насколько глубоко ИИ войдет в эту сферу», — сказал он. По его словам, идея о том, что ИИ сам полностью напишет доказательство, прежде казалась «довольно далекой». Современные большие языковые модели, отметил он, «действительно удивили нас». Основатель Cardano назвал возможное решение Навье–Стокса «большим событием в математике», имеющим значение для гидродинамики, аэрокосмической техники, машиностроения и физики.
Отдельное внимание Хоскинсон уделил спору о происхождении данных. Математик Нью-Йоркского университета Тристан Бакмастер и исследователь Anthropic Левент Альпёге, работавшие над смежным результатом для уравнений Эйлера с использованием внешнего воздействия, поставили вопрос, могли ли их приватные наработки, переданные в систему Codex OpenAI, повлиять на результат компании. Бакмастер подчеркнул, что не утверждает о доказанном нарушении: «Я не знаю, использовались ли наши данные». OpenAI отрицала доступ к их конкретной работе, но не исключила, что обезличенные данные от использования продуктов могли способствовать улучшению моделей. Компания настаивает, что доказательство разработано независимо и отличается от исследования ученых.
Хоскинсон использовал эту ситуацию как аргумент в пользу приватных ИИ-сред. Он предупредил, что исследователи, вводящие неопубликованные идеи в облачные модели, фактически утрачивают контроль над ними. «Для академического предпринимателя важно понимать: если вы делитесь идеями с пограничными моделями в облаке, это больше не ваши идеи», — заявил он. Основатель Cardano также отметил, что действия системы выглядят «очень по-человечески»: модель способна заимствовать идеи, улучшать их, итерировать и формализовать до решения сложной задачи. По его словам, «всё заимствовано, ничто не является по-настоящему оригинальным», и в этом есть своя ценность.
Комментарии вписываются в более широкий интерес Cardano к ИИ: ранее Хоскинсон защищал эксперименты с ИИ-агентами в коммуникациях и сообществе, а также в экосистеме Midnight, ориентированной на конфиденциальность. Непосредственного влияния на курс ADA в заявлениях нет, однако публичная активность основателя вновь привлекла внимание к технологической повестке проекта.
