Коротко
- Гипотеза оставалась открытой с 2008 года
- Полное доказательство получено на третий день работы системы
- Формальное доказательство проверено в Lean и выложено на GitHub
- Результат считает обращения к данным, а не полное время вычислений
Стартап Physical Superintelligence (PSI) заявил, что его система на базе ещё не вышедшей модели Anthropic доказала гипотезу Ааронсона — Амбаниса, остававшуюся открытой с 2008 года. Работа опубликована в статье от 6 ноября, а формальное доказательство принял проверяющий инструмент Lean; код выложен на GitHub.
Гипотеза касается того, насколько квантовые компьютеры могут обгонять классические. Если она верна, на «беспорядочных» задачах без явной структуры классический компьютер способен угнаться за квантовым без чрезмерного числа обращений к данным.
По словам PSI, исследовательская система запускает несколько копий неанонсированной модели Anthropic на собственной инфраструктуре компании. Человек, Дэвид Туртуреан, настроил систему, выбрал задачу, запустил её и попросил модель оформить статью. Полное доказательство, как утверждается, получилось на третий день работы.
Есть оговорки. Результат считает количество обращений к данным, а не полное время вычислений, поэтому классический компьютер всё равно может работать очень долго. Он также не означает, что классика умеет эмулировать любые квантовые вычисления. Чтобы можно было проверить формулировку, PSI записала саму задачу на Lean и опубликовала код.
Для PSI это ещё и демонстрация бизнес-идеи: делать продукт из научных открытий, сделанных ИИ. Независимой оценки математиками пока ждать стоит отдельно, но машинная проверка в Lean снимает главный вопрос о корректности доказательства.