Китайский квантовый процессор впервые доказал сложные математические теоремы, включая задачу 1978 года

Квантовые вычисления применены для решения непростой математической задачи

Как сообщает НВ — Техно: Группа китайских учёных применила 121-кубитный квантовый процессор для автоматического доказательства двух математических теорем, среди которых была задача с Международной математической олимпиады 1978 года. Эксперимент стал первым, где логические рассуждения выполнялись непосредственно на квантовом устройстве с использованием гибридных подходов и машинного обучения. Результаты опубликованы в препринте на платформе arXiv.

Описание методологии и ключевые выводы

Исследователи из Чжецзянского университета и Университета Цинхуа подтвердили перпендикулярность диагоналей квадрата с помощью метода Ву. Для более сложной задачи применили символический поиск доказательств в сочетании с элементами машинного обучения. Текущие эксперименты ограничивались полиномиальными примерами из-за аппаратных возможностей, однако с развитием квантовых технологий искусственный интеллект сможет справляться с более сложными математическими проблемами.

Данное исследование демонстрирует потенциал квантовых компьютеров в создании новых инструментов для математики. Руководители проекта рассчитывают, что дальнейшее развитие квантовых систем расширит возможности автоматизированного доказательства теорем и позволит решать ещё более сложные логические задачи. Это открывает перспективы для применения квантовых вычислений в широком спектре научных дисциплин.

Эксперимент подчёркивает значимость квантовых вычислений в современной науке и их способность эффективно справляться с задачами, которые традиционные компьютеры решают с большими трудностями.

Усовершенствование квантовых технологий может привести к прорывам в автоматизации доказательства теорем и расширению возможностей искусственного интеллекта в этой области. Кроме того, это стимулирует инновации и развитие в других направлениях науки и техники, что важно для технологического прогресса в целом.

В то время как китайские учёные демонстрируют возможности квантовых вычислений в решении математических задач, другие исследователи также добиваются значительных успехов. Например, квантовый компьютер Quantinuum H2 с 55 кубитами показал свою эффективность, превзойдя классические системы в масштабном эксперименте. Эти достижения подчеркивают растущий потенциал квантовых технологий в различных областях науки.