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