Модель GPT-5 помогла решить одну из самых сложных проблем квантовых вычислений

GPT-5 помогла решить сложную проблему квантовых вычислений.
Задача Мерлина-Артура (QMA) - квантовый аналог NP в классической теории сложности.
Методы уменьшения ошибок в QMA упираются в непреодолимое препятствие.
Решающий шаг в доказательстве сделан GPT-5.
Полнота и непротиворечивость - ключевые параметры QMA.
Методы черного ящика могут повысить надежность систем доказательств QMA.
GPT-5 предложила переформулировать задачу для решения проблемы.
Полнота не может превысить уровень двойной экспоненциальной близости к единице.
Достоверность не может опуститься ниже экспоненциально малой величины.