OpenAI доказывает, что ETH ложен, и у Crypto Twitter есть вопросы

OpenAI утверждает, что ETH ложен, и Crypto Twitter отреагировал именно так, как вы могли бы ожидать. "Черт возьми, алгоритмические трейдеры просто уничтожили $ETH," написал пользователь по имени Такуми в X, в то время как Эндрю Цзян пошутил: "Виталик был очень тихим с тех пор, как это вышло."

Но успокойтесь, дегены, речь идет о ETH в контексте Гипотезы Экспоненциального Времени, компьютерной гипотезе 1999 года, которая не имеет ничего общего с Ethereum, его ценой или соучредителем Виталиком Бутериным. Так что, крипто-братья, вы можете вздохнуть с облегчением.

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

Компьютерные ученые Рассел Импаглиаццо и Рамамохан Патури предложили ETH вместе с Фрэнсисом Зейном, и она утверждает, что классическая логическая задача под названием 3-SAT (поиск истинных или ложных настроек, которые удовлетворяют кучу правил, три варианта за раз) не может быть решена намного быстрее, чем путем перебора всех комбинаций. Сотни статей предполагают это, чтобы показать, что проблемы в теории графов, вычислительной биологии, базах данных и геометрии не могут быть решены быстро, согласно OpenAI.

Myriad: Куда дальше идет ETH? Нажмите, чтобы сделать свой прогноз.

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

Статья, датированная 17 октября и переработанная 25 октября, описывает детерминированный алгоритм (один без случайности), который считает каждое удовлетворяющее назначение таких головоломок за субэкспоненциальное время, что означает, что работа растет медленнее, чем любое экспоненциальное количество переменных. Подсчет решений сложнее, чем решение вопроса, существует ли одно, поэтому более сложная работа приносит более легкую работу бесплатно.

OpenAI утверждает, что ее ИИ нашел опровержение 16 октября и что оно было формализовано в Lean, программном обеспечении, которое механически проверяет каждый логический шаг, 17 октября. Оба находятся на GitHub, так же, как и 722 математических рукописи ранее в этом месяце, из которых только 162 имели проверенный компьютером основной результат.

Импаглиаццо, Патури и Райан Уильямс из MIT возглавляют независимую проверку, и они осторожны в отношении своей роли. "Наше участие не следует воспринимать как сертификацию утверждения," написали трое в открытом письме, добавив, что "результат такой значимости требует тщательной, независимой проверки и понимания того, что другие могут реконструировать, ставить под сомнение и развивать."

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

Практические выгоды далеки: "Поиск таких алгоритмов и превращение теоретических достижений в практические улучшения потребует значительных дальнейших исследований," написала OpenAI. В самой статье говорится, что результат не показывает, что каждая NP-проблема может быть решена за субэкспоненциальное время, так что вопрос P против NP, вопрос о том, может ли каждая проблема с легким для проверки ответом также быть легко решена, остается открытым.

Проще говоря, P — это класс проблем, которые компьютеры могут решать эффективно, в то время как NP — это класс проблем, решения которых можно проверять эффективно. Таким образом, вопрос P против NP — вопрос о том, является ли каждая проблема, ответ на которую легко проверить, также легкой для решения — остается открытым.

Anthropic, не желая проигрывать математические войны, затем опубликовала статью, приписанную Клоду, под названием "Алгоритм времени 2^o(n) для 3-SAT" и датированную 26 октября. Репозиторий, который также решает проблему ETH, утверждает, что внутренний исследовательский модель Клода обнаружил алгоритм, и "результат является чисто асимптотическим и ничего не говорит о решении формул на практике."
OpenAI утверждает, что секретная модель ИИ решила сотни открытых математических задач за один запрос — математики хотят доказательства.

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

Недавний вклад OpenAI в размере 5 миллионов долларов в Фонд Симонса будет финансировать семинары, конференции и специальные программы, чтобы помочь исследователям изучать и развивать результаты, полученные с помощью ИИ.

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