На 6 ноември 2026 г. Physical Superintelligence (PSI) публикува твърдение за доказателство на хипотезата Aaronson–Ambainis. Компанията заявява, че вътрешната ѝ изследователска система е използвала непубличен модел на Anthropic и е достигнала доказателство на третия ден от изпълнението. Тя съобщава за приемане от Lean и предоставя публични материали. SIExpo потвърди достъпността им, но не е възпроизвеждал формалната проверка или доказателството.

За какъв резултат става дума

Хипотезата свързва свойства на ограничени полиноми с въпроса кога квантови алгоритми могат да имат голямо предимство по брой заявки към входа. Твърденият извод се отнася до повечето булеви входове при определени условия. Това не означава, че квантовите компютри нямат полезни приложения или че всички задачи вече могат да се решават еднакво бързо с класически хардуер.

Публичното хранилище описва четири крайни теореми, отчетени проверки и граници на доверието. То изрично отделя по-силен вариант с допълнителна хипотеза, която не е формализирана там. Авторите посочват, че съответствието между формалното твърдение и първоначалната хипотеза изисква човешки прочит. David Turturean е прегледал текста и поема отговорност за коректността му. Това са декларации и артефакти на проекта, а не независима сертификация от SIExpo.

Редакционен прочит: три различни вида проверка

Полезно е да се разграничат написан математически аргумент, формализирано твърдение и инструментът, който проверява стъпките. Читателят може да получи силно доказателство за второто и третото, без автоматично да е установено, че формализираният проблем е точно желаният. Например пропуснато условие или различна дефиниция би променило какво е доказано, дори последващите стъпки да са последователни.

Също така достъпният код и непубличният модел са отделни части на възпроизводимостта. Възможно е други специалисти да проверят публикуван резултат, без да могат да повторят процеса, който го е открил. От такъв артефакт не следва автоматично, че същата система ще решава произволни отворени математически задачи или че друг екип може да възпроизведе същия срок за откриване.

Един внимателен следващ преглед би сравнил дефинициите с оригиналната постановка, проверил предпоставките на всяка крайна теорема и повторил описаните проверки с фиксирана версия на файловете. След това математическото изложение трябва да бъде разбираемо за специалисти, които не са участвали в проекта. Това е наш критерий за оценка на публично AI подпомогнато изследване, а не отчет за вече извършен от редакцията одит.

Значението на съобщението е в конкретния публичен резултат и възможността той да бъде разглеждан. Коректното отразяване запазва едновременно силата на заявката, наличните артефакти и границата на собствената ни проверка. Новината не е демонстрация на ускорен квантов процесор и не измерва универсална способност на непубличния модел.

Проверено от редакцията: 2026-11-09T07:12:30.497786+00:00.