Основатель Cardano оценивает прорыв в математике от OpenAI

Основатель Cardano Чарльз Хоскинсон заявил 9 сентября, что искусственный интеллект продвинулся в формальной математике дальше, чем он ожидал.

Хоскинсон отметил, что математический прогресс искусственного интеллекта значительно превысил его ранее озвученные ожидания.

OpenAI сообщает, что примерно 10 000 агентов разработали решение уравнения Навье-Стокса за 88 часов общей работы.

Clay по-прежнему классифицирует уравнение Навье-Стокса как неразрешенное, ожидая публикации, рецензирования и широкого математического признания по всему миру.

Хоскинсон выразил обеспокоенность по поводу конфиденциальности для исследователей, вводящих неопубликованные работы в централизованные облачные AI-системы.

OpenAI опровергла доступ к частным работам, но не смогла исключить возможность, что анонимные данные о использовании влияли на улучшение моделей.

Его комментарии последовали за заявлением OpenAI о том, что внутренняя система разработала решение проблемы тысячелетия уравнения Навье-Стокса.

Во время трансляции Хоскинсон назвал сообщенные возможности "довольно замечательными". Однако он также затронул неразрешенные вопросы о происхождении работы и конфиденциальности исследований, представленных облачным AI-сервисам.

Хоскинсон сказал, что изначально ожидал, что формальные системы помогут большим командам математиков сотрудничать и проверять написанные людьми доказательства. Он не ожидал, что большие языковые модели смогут генерировать полные доказательства самостоятельно так быстро.

"Мы никогда не предполагали, насколько далеко зайдет AI", - сказал Хоскинсон. Он добавил, что идея о том, что AI полностью напишет доказательство, ранее казалась "довольно далекой".

Хоскинсон имеет прямую связь с исследованиями в области формальной математики. В 2021 году он пожертвовал 20 миллионов долларов Университету Карнеги-Меллона для создания Центра формальной математики Хоскинсона, согласно заявлению университета.

Его последние комментарии также соответствуют более широким экспериментам Cardano с искусственным интеллектом. Как ранее сообщалось в crypto.news, Хоскинсон защищал эксперименты с AI-агентами Cardano, связанные с коммуникациями, активностью сообщества и ориентированной на конфиденциальность экосистемой Midnight.

OpenAI опубликовала свои исследования 8 сентября. Компания сообщила, что внутренняя модель координировала примерно 10 000 агентов и предложила решение после 88 часов. GPT-6 Astra затем потратила еще 17 часов на формализацию и проверку аргумента в Lean.

Доказательство пытается установить, что изначально гладкая, стационарная жидкость может развить сингулярность за конечное время, когда на нее воздействует гладкая внешняя сила. OpenAI заявила, что это удовлетворяет утверждениям C и D в официальной формулировке проблемы тысячелетия.

Компания также выпустила аналитическую статью и код Lean. Формализация Lean предоставляет проверяемую машиной верификацию того, что закодированные шаги следуют из заявленных предположений. Она не устанавливает независимо, что каждое определение и предположение точно представляет собой предполагаемую математическую проблему.

OpenAI заявила, что не планирует претендовать на связанный приз в 1 миллион долларов. Тем не менее, компания описала свою работу как решение проблемы.

Институт математики Clay по-прежнему называет проблему Навье-Стокса "неразрешенной". На его сайте на момент публикации не было признано предложенное OpenAI доказательство как принятое решение.

Clay не принимает предложенные решения через прямые подачи. Согласно его правилам, решение должно появиться в квалификационной публикации. Затем должно пройти не менее двух лет, и работа должна получить общее признание от глобального математического сообщества.

Этот процесс означает, что объявление OpenAI и формальное доказательство не составляют немедленного институционального признания. Математики должны проверить, удовлетворяет ли конструкция точному формулированию проблемы и отвечает ли ее использование внешнего воздействия на вопрос, как это обычно понимается.

Объявление также вызвало внимание со стороны математика Нью-Йоркского университета Тристана Бакмастера и исследователя Anthropic Левента Алпёге. Исследователи работали над связанным результатом уравнения Эйлера, используя подход с внешним воздействием.

Бакмастер задался вопросом, могло ли частное исследование, введенное в систему Codex OpenAI, способствовать результату компании. Он не стал утверждать о доказанном misconduct, сказав: "Я не знаю, использовались ли наши данные".

OpenAI опровергла доступ к их конкретной работе. Однако компания заявила, что не может полностью исключить возможность того, что анонимные данные о использовании их продукта помогли улучшить ее модели. OpenAI настаивала на том, что ее доказательство было разработано независимо и отличается от работы исследователей.

Хоскинсон утверждал, что спор должен касаться исследователей, работающих с неопубликованными идеями. Он сказал, что ученые, использующие централизованные AI-сервисы, должны учитывать, остаются ли подсказки, заметки и журналы исследований конфиденциальными.

Следующий этап будет включать публичное рассмотрение статьи OpenAI и формализации Lean. Пока специалисты не проверят предположения и не будут выполнены формальные условия Clay, работа остается заявленным решением, а не признанным разрешением.

Этот контент предоставляется исключительно в общих информационных целях и не является финансовым, инвестиционным, юридическим или налоговым советом. Любые мероприятия, вознаграждения, онлайн-акции или связанная с ними информация, упомянутые в настоящем документе, не должны рассматриваться как рекомендация, приглашение к покупке, продаже, торговле или иной сделке с какими-либо криптоактивами. Криптоактивы очень волатильны и могут привести к убыткам. Доступность услуг, продуктов WEEX и связанных с ними событий может варьироваться в зависимости от региона. Вы несете ответственность за обеспечение того, чтобы ваше участие соответствовало применимым местным законам и нормативным актам.