🧠 Claude Mythos 5 улучшил квантовые схемы на порядок

Claude Mythos 5 от Anthropic за 53 часа самостоятельной работы спроектировал квантовые схемы для восьми вычислительных примитивов, которые используют меньше кубитов и гейтов, чем лучшие опубликованные аналоги. В одном случае — модулярной инверсии, самой дорогой операции в эллиптической криптографии, — новая схема требует на 12% больше кубитов, но в 17 раз меньше гейтов. Модель работала в замкнутом цикле: получала описание задачи на естественном языке, предлагала схему, внешний оценщик проверял корректность и выдавал счёт «кубиты × гейты», после чего Claude итеративно улучшала результат без участия человека, кроме редких подсказок. По данным Anthropic Research, это первый случай, когда LLM не просто сгенерировала код, а вывела новые алгебраические тождества и формально доказала их в Lean.

Главная трудность — квантовые схемы не могут ветвиться и стирать информацию, поэтому классический алгоритм divsteps для модулярной инверсии не переносился напрямую: нужно хранить всю историю ветвлений, что взрывает число кубитов. Claude обошла это, доказав, что историю можно восстановить из самих чисел после каждой итерации, и создала первое обратимое исполнение divsteps без хранения побочной информации. Это позволило расширить Парето-фронт: можно выбирать компромисс между числом кубитов и временем, которого раньше не существовало.

Второй значимый результат — декодер Рида–Соломона в алгоритме декодированной квантовой интерферометрии (DQI) подешевел примерно в 12 раз. DQI решает задачи оптимизации, где Google Quantum AI оценивал одну задачу OPI в три месяца на суперкомпьютере Frontier против часа на будущем квантовом компьютере. Удешевление самого дорогого шага декодера сокращает этот разрыв ещё сильнее.

Российские исследовательские группы, работающие над квантовыми алгоритмами, получают готовый сценарий: LLM-оптимизатор плюс классический верификатор, без необходимости в физическом квантовом компьютере. Но стоит помнить: такой цикл работает только для схем, которые можно быстро проверить на обычном компьютере — это химия, материаловедение и криптоанализ, но не произвольные квантовые алгоритмы.

Claude не просто перебирала варианты — она вывела новые математические тождества и формально проверила их в Lean, что превращает модель из помощника в соавтора доказательства. Однако настоящий порог для практических квантовых компьютеров по-прежнему упирается в качество кубитов, а не только в алгоритмы: схемы стали дешевле, но ошибки окружения никуда не делись.

#Claude #квантовыевычисления #Anthropic #LLM #квантовыеалгоритмы