Китайский квантовый компьютер доказал задачу Международной олимпиады по математике 1978 года
Материал подготовлен искусственным интеллектом на основе нескольких источников — ссылки на оригиналы приведены ниже.
Китайские исследователи использовали 121-кубитный сверхпроводящий квантовый процессор для автоматического доказательства двух геометрических теорем, включая задачу Международной математической олимпиады 1978 года. Команда из Чжэцзянского университета и Университета Цинхуа опубликовала препринт на arXiv с описанием достижения. Работа демонстрирует, что структурированные математические рассуждения можно сформулировать как квантовый вычислительный процесс.
Ключевые факты
- 121-кубитный сверхпроводящий квантовый процессор доказал задачу Международной математической олимпиады 1978 года.
- Исследование провели учёные из Чжэцзянского университета и Университета Цинхуа в Китае.
- Команда использовала два взаимодополняющих метода: метод Ву и символьный поиск доказательства с упрощёнными методами машинного обучения.
- Работа доступна в виде препринта на arXiv и ещё не прошла независимую научную рецензию.
Квантовое доказательство
Китайские учёные из Чжэцзянского университета и Университета Цинхуа опубликовали препринт на arXiv, в котором описывается, как 121-кубитный сверхпроводящий квантовый процессор автоматически доказал две геометрические теоремы. Одна из теорем — задание с Международной математической олимпиады 1978 года, которой в этом году исполняется 48 лет. Другая теорема касается перпендикулярности диагоналей квадрата и служила простым тестом нового метода. Олимпиадная задача требовала доказать геометрическое соотношение в равнобедренном треугольнике, связанное с касательными окружностями.
Методы и архитектура
Исследователи разработали два взаимодополняющих подхода для кодирования геометрических условий в квантовые состояния. Первый подход реализует метод Ву, переводя геометрические условия в систему многочленных уравнений, записанных в суперпозиции квантовых состояний. Второй метод строит доказательство в обратном направлении, ища цепочку шагов от желаемого вывода назад к исходным условиям с помощью символьного рассуждения в гибридной квантово-классической архитектуре. Для олимпиадной теоремы команда использовала метод символьного поиска доказательства, поддержанный упрощёнными методами машинного обучения, чтобы предлагать, применять и оценивать логические шаги.
Значение и ограничения
Авторы утверждают, что работа подтверждает возможность формулировать структурированные математические рассуждения как квантовый вычислительный процесс. Ранее квантовые преимущества демонстрировались на узких задачах, таких как оптимизация или моделирование молекул, тогда как этот процессор выполнял логический вывод. Исследование ещё не опубликовано в рецензируемом журнале, но его препринт доступен на платформе arXiv. Несмотря на шумную и нестабильную природу кубитов, ожидается, что это достижение заложит основу для будущих систем ИИ и квантовых вычислений, способных решать сложные математические задачи, недоступные классическим компьютерам.
2 источника
Время · отставание