DevGeek.IT
**Claude научился квантовым схемам лучше людей (и это не шутка)**
Anthropic заявила, что их модель Claude Mythos 5 самостоятельно разработала квантовые схемы, которые превзошли лучшие опубликованные решения — местами «на порядок и более». Звучит как маркетинг, но есть статья на arXiv, цифры и даже формальное доказательство на Lean. Разбираем, что реально произошло.
Суть: модели дали описания восьми задач из химии, оптимизации, физики и теории чисел на простом языке, а также автоматический оценщик. Claude предлагал программы, генерирующие квантовые схемы, оценщик проверял корректность и стоимость. В семи из восьми случаев схемы потребовали меньше вентилей Тоффоли и кубитов, чем лучшие известные аналоги. Основная метрика — TQ-стоимость: произведение числа вентилей Тоффоли на пиковое число кубитов. Чем она ниже, тем меньше оборудования нужно для полезных вычислений на нынешних шумных квантовых компьютерах с сотнями-тысячами кубитов.
Самый показательный пример — декодер для декодированной квантовой интерферометрии. Новая схема: 440 000 вентилей Тоффоли и 1837 кубитов. Это в 12 раз меньше вентилей, чем в базовой схеме Google на кодах Рида — Соломона. Ещё один результат — первая обратимая реализация divsteps без хранения истории ветвлений. Claude работал над ней 53 часа, человек только ставил задачу и иногда корректировал направление. Модель адаптировала классический метод, вывела правило восстановления журнала по числам и проверила его симуляциями и доказательством на Lean. Один из вариантов схемы использует на 12% больше кубитов, но в 17 раз меньше вентилей, чем самая компактная из прежних.
Это продолжение тенденции: оценка вентилей Тоффоли для моделирования катализатора FeMoco упала с ~50 триллионов в 2017 году до ~340 миллионов — в основном за счёт переработки схем, а не железа. Авторы считают, что LLM с оценщиком открывают путь к совместной разработке новых алгоритмических структур.
🛠 Мнение DevGeek.IT:
Пока одни спорят, заменит ли ИИ программистов, Claude тихо переписывает квантовые схемы и доказывает корректность на Lean. Это не «ИИ победил человека», а «человек с ИИ победил человека без ИИ» — разница принципиальная. Но если схемы действительно на порядок дешевле, практичные квантовые машины могут подкрасться раньше, чем мы допишем свои докерфайлы. Стоит следить. Если у вас установлено приложение,
вы можете сразу перейти в канал