Using AI, we solved 5 open problems in quantum information theory

С помощью ИИ решили 5 открытых задач в квантовой теории информации Сегодня ещё 2 компании заявили о своих успехах в науке, но об этом позже. Есть такой список Open Quantum Problems - список из нерешённых задач в квантовой теории информации, над которыми исследователи работают десятилетиями. И вот сегодня компания Physical Superintelligence (PSI) заявила о том, что решила 5 задач из списка. При этом компания говорит, что люди ставили задачи и проверяли результаты, а их ИИ-система компании помогала доказывать и формализовать решения. Вот, что они получили в ходе своей работы с ИИ: 1. Контрпример к гипотезе о том, что любой причинный процесс можно встроить в больший обратимый. Гипотеза опровергнута. 2. Полная характеризация оптимальных измерений для максимального нарушения одного из неравенств Белла. 3. Доказательство, что в вакууме квантового поля запутанность сохраняется на любом расстоянии. При этом классический тест Белла её не видит дальше определённой дистанции. 4. Верхняя граница в задаче о том, сколько PPT-отображений нужно, чтобы гарантированно разрушить запутанность: доказано, что 2(d−1) всегда достаточно. Точный ответ пока не найден. 5. Частичный прогресс по знаменитому вопросу о «связанной» запутанности, из которой невозможно извлечь чистую. Результат получен для трёх копий состояния, а вопрос о произвольном числе копий остаётся открытым. В четвёртой задаче компания опирается на недавний препринт OpenAI, где показано, что двух таких отображений недостаточно. PSI доказали, сколько достаточно.