Меню

Крипторазделы

Стартап из Кембриджа утверждает, что его система доказала гипотезу Ааронсона-Амбайниса за три дня, подтвердив ее формализацией бережливого производства.

Вт, 10 ноября 2026 г. · 14:08 EST · Чтение 3 минуты

В ИИ

Делиться

Стартап, которому едва исполнилось два месяца, заявляет, что решил вопрос о квантовых вычислениях, который ставил в тупик исследователей почти два десятилетия.

Физический суперинтеллект, или PSI, объявил 6 ноября 2026 года, что доказал гипотезу Ааронсона-Амбайниса. В работе использовалась внутренняя исследовательская система наряду с закрытой антропной моделью, и компания заявляет, что доказательство было получено на третий день работы системы.

Еще более поразительна реакция одного из людей, задавших проблему. Скотт Ааронсон говорит, что он не полностью следует доказательству. Он все равно в это верит.

Что на самом деле доказал PSI

Гипотеза Ааронсона-Амбайниса касается основного вопроса: когда квантовые компьютеры действительно смогут превзойти классические по скорости? Впервые он был выпущен примерно в 2008 году, а официальное заявление было сделано в 2014 году.

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

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

PSI опубликовала свою работу в виде 13-страничного документа и полной формализации бережливого производства, оба размещены на GitHub в рамках организации физического суперинтеллекта.

Почему Lean выполняет тяжелую работу

Lean — это язык программирования, созданный для математики. Вместо того, чтобы полагаться на человека, который прочитает и проверит каждый шаг, вы пишете доказательство в виде кода, а небольшая, надежная программа, называемая ядром, проверяет, что каждый шаг логически вытекает из предыдущего.

Искусственный интеллект, технологии и рынки, на которых они двигаются, — в одном ежедневном брифинге.

Ежедневно. Бесплатно. Присоединяйтесь к более чем 34 000 читателей, посвященных криптовалютам, финансам и политике.

Мы уважаем вашу конфиденциальность. Отпишитесь в любое время.

Масштаб здесь существенный. Формализация PSI состоит из 9454 строк и 648 теорем без каких-либо дополнительных аксиом или заполнителей.

В результатах исследования также отмечается, что формализация была независимо перепроверена с использованием нескольких ядер.

Именно этот уровень проверки является причиной того, что Ааронсон готов подписать то, чего он до конца не понимает. Он говорит, что считает доказательство правильным, поскольку оно было автоматически формализовано в Lean и объяснено командой ведущих исследователей, с которыми PSI поделилась результатом.

Отрицательный результат и почему это полезно

Это открытие не открывает более быстрый квантовый алгоритм. Оно закрывает дверь.

Туртуреан описал это TechCrunch с практической точки зрения:

«Это отрицательный результат, который позволяет людям понять: хорошо, мы больше туда не ищем».

Результат также имеет четкие пределы. Результаты исследования показывают, что это не влияет на структурированные ускорения, такие как алгоритм Шора. Доказательство ограничивает квантовое преимущество неструктурированными входными данными, а не всеми видами квантового преимущества.

Кто вообще такой PSI?

PSI — общественная корпорация, базирующаяся в Кембридже, штат Массачусетс. Он был запущен в сентябре 2026 года с начальным финансированием в размере 58 миллионов долларов США под руководством Breakthrough Energy Ventures.

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

Антропный ракурс также привлекает внимание. PSI использовала закрытую антропную модель как часть своей системы, а это означает, что результат частично был получен благодаря возможностям ИИ, к которым в настоящее время не могут получить доступ сторонние исследователи.

Раскрытие информации: эту статью отредактировал Диего Альмада Лопес. Дополнительную информацию о том, как мы создаем и просматриваем контент, можно найти в нашей редакционной политике.

Новости о том, что вы держите

Следите за своими акциями и криптовалютой. Читайте новости о них от сотен издателей в Pro.

Политика конфиденциальности