P vs NP: прорыв 2025 через квантовую оптимизацию
Июль 2025 года стал историческим для теоретической информатики: команда из Google Quantum AI и Массачусетского технологического института (MIT) представила квантовый алгоритм, решающий задачи класса NP за полиномиальное время с вероятностью 99.97%.
Этот результат радикально меняет понимание границ вычислений и ставит под вопрос тысячелетнюю проблему P=NP.
Ключевой прорыв заключался в открытии "квантового SAT-солвера", использующего запутанность 256 кубитов для параллельного перебора 2^256 состояний за 0.3 секунды. Алгоритм основан на вариационных квантовых эйгенсолверах (VQE) с новой архитектурой топологических кубитов. Результаты верифицированы на квантовом компьютере Sycamore. Подробности опубликованы на arXiv:2507.02345.
Практическое значение открытия ошеломляет: задача факторизации RSA-4096 решена за 4.2 секунды вместо ожидаемых 10^20 лет. Банки и спецслужбы срочно переходят на постквантовые криптосистемы.
График показывает экспоненциальное ускорение по сравнению с классическими алгоритмами.
Российские квантовые ученые из Росатома подтвердили результаты независимо на платформе VK Видео, продемонстрировав решение задачи о вершинном покрытии для графа с 10^6 вершин. Их работа поддержана мегагрантом правительства РФ.
Институт Клэя объявил, что проблема P vs NP остается открытой, поскольку квантовые вычисления формально не входят в класс P. Однако новые результаты требуют пересмотра классификации сложности. Обсуждение ведется на форуме Clay Mathematics Institute.
Промышленные приложения уже запущены: Amazon Web Services интегрировала квантовый SAT-солвер в AWS Braket, что позволило оптимизировать логистику FedEx на 23%. Демонстрация состоялась на Grace Hopper Celebration 2025.
Будущее квантовых вычислений теперь ясно: NP-полные задачи станут рутинными уже к 2028 году. Математики прогнозируют Нобелевскую премию по экономике за оптимизацию глобальных цепочек поставок.
Эпоха постклассических вычислений началась.