У Anthropic всё ещё есть большой ход!
Исторический момент повторяется: внутренняя модель Claude взломала 18-летнюю открытую гипотезу в квантовых вычислениях.
Всего за 3 дня непубличная модель Claude взломала гипотезу Аронсона-Амбайниса, которая оставалась нерешённой с 2008 года!
Пользователи сети предполагают: эта внутренняя модель, похоже, является непубличной версией модели Claude Model 4.
Теорема и следствия из неё завершены в формализации Lean, и вопрос о том, насколько именно квантовые вычисления превосходят традиционные, наконец получил ответ.
Claude пробивает миф о квантовом превосходстве
В 1994 году Питер Шор предложил алгоритм Шора, который произвёл огромный фурор во всём мире.
Он может факторизовать большие целые числа за полиномиальное время, тогда как обычным компьютерам для этой задачи потребовалось бы экспоненциальное время.
Краеугольный камень современной системы шифрования тем самым был поколеблен.
Алгоритм Шора протрубил сигнал, и после этого термин «квантовое превосходство» пронёсся по всему мировому технологическому сообществу и рынкам капитала.
Чертёж, от которого закипала кровь, казалось, был прямо перед нашими глазами: квантовая суперпозиция, квантовая запутанность, экспоненциальное ускорение.
Как будто стоило только хорошо управлять этими хрупкими кубитами, и человечество сможет нанести всесторонний удар по измерениям и мгновенно вступить в новую эру почти неограниченной вычислительной мощности.
Начала распространяться слепая когнитивная иллюзия:
Как только есть квантовое суперпозиционное состояние, кажется, что для большинства сложных задач квантовые компьютеры также могут мгновенно перебрать все возможности и достичь экспоненциального критического удара.
К счастью, физики и специалисты по информатике быстро поняли: причина, по которой алгоритм Шора может производить «экспоненциальное сокрушение», заключается в том, что за факторизацией целых чисел стоит сильная периодическая структура. А квантовые компьютеры хорошо улавливают такого рода повторяющиеся закономерности.
Но если входные данные полностью случайны, без какой-либо закономерности или особой структуры, могут ли квантовые компьютеры всё ещё достичь экспоненциального превосходства?
В 2008 году два ведущих учёных в области квантовых вычислений — Скотт Аронсон и Андрис Амбайнис — абстрагировали эту проблему физики и алгоритмов в чисто математическую задачу.
Они сравнили процесс чтения входных данных компьютером с «наблюдением».
Каждый раз, когда классический компьютер считывает бит, он видит точный «0» или «1»; квантовый компьютер, используя суперпозиционные состояния, может распределить одно наблюдение по огромному количеству состояний.
Два учёных обнаружили, что вероятность того, что квантовый компьютер выдаст «да» после T наблюдений, по сути может быть строго охарактеризована как «ограниченный многочлен низкой степени».
Если можно доказать, что такой многочлен должен претерпевать достаточно большое изменение при переключении некоторой переменной, то есть что существует переменная со значительным влиянием, то можно доказать, что: классическому компьютеру требуется лишь полиномиальная дополнительная стоимость, чтобы идеально симулировать поведение квантового компьютера.
Это знаменитая гипотеза Аронсона — Амбайниса.
Теперь эта гипотеза доказана ИИ, и в будущем её, возможно, придётся называть «теоремой Аронсона — Амбайниса»:
По их словам:
В квантовых вычислениях всё ещё много нерешённых загадок, но теперь их стало на одну меньше.
Следует отметить, что квантовое превосходство не исчезло, но эта теорема убила «слепое суеверие» в отношении квантовых вычислений и прояснила «законную территорию» P квантового преимущества.
Оппенгеймеровский момент квантовых вычислений
Физический суперинтеллект, предпринявший действия на этот раз, не первый, кто действует, —
В прошлом месяце они решили пять давно нерешённых проблем в квантовой теории информации.
Ранее Гай Бланк, Джордан Доктер, Кармен Страссле из MIT и Ли-Ян Тан из Стэнфордского университета решили частный случай классического симуляционного следствия этой гипотезы.
Они читали новое доказательство и считали его просто «крупным результатом»:
Оно решило гипотезу, которой несколько десятилетий, и имеет важные последствия для сути того, какие задачи могут достичь квантового ускорения.
Это исследование затрагивает несколько исследовательских направлений в анализе булевых функций и вероятностной комбинаторике.
И это доказательство отнюдь не «попугайничает» — это абсолютно не вопрос простого поиска в литературе для решения проблемы, а «довольно замечательный способ», который собрал всё содержание воедино.
Возможно, эксперты из нескольких областей, работая вместе, в конечном итоге смогли бы доказать эту гипотезу, но скорость ИИ недосягаема для человека!
Согласно сообщениям, после того как система Harness, построенная вокруг внутренней модели Anthropic, была завершена, первое доказательство было получено три дня спустя.
Затем оно было немедленно отправлено в ассистент доказательств Lean для проверки.
Но это было не концом.
Когда экземплярам модели было предложено использовать эти промежуточные результаты для решения нерешённых задач, они, в свою очередь, отшлифовали эти промежуточные результаты, снизив показатель с 22 до 11, затем до 7, непрерывно его понижая.
Это также является микрокосмом самого процесса открытия: доказательство — это не внезапная вспышка вдохновения, а постепенное приближение к оптимальной границе путём многократной шлифовки промежуточных результатов.
Физика и математика остаются обширными, вселенная остаётся необъятной, и всё ещё существует множество нерешённых загадок, которые человечеству предстоит исследовать.
Но одно уже определённо:
В экспедиционном отряде, исследующем рациональный рубеж, человечество больше не стоит в одиночестве, одинокое и затенённое лишь самим собой.
Источники:
https://psi.inc/research/oqp-batch-2026/
https://psi.inc/research/aaronson-ambainis/
Эта статья взята из публичного аккаунта WeChat «Xin Zhi Yuan», автор: ASI Revelation
