Перед 121-кубитным сверхпроводниковым процессор поставили две задачи.
Первая попроще — доказать, что диагонали квадрата пересекаются под прямым углом. Для этого использовали гибридную версию классического «метода У». Вторая — решить геометрическую задачу с Международной математической олимпиады про пересекающиеся треугольники и окружности. Процессор сам предлагал и проверял логические шаги доказательства.
Пока это простые задачи, масштабировать метод на задачи посложнее мешает нехватка мощности железа. Но это исследование показывает, что квантовые компьютеры могут стать хорошим инструментом для математических рассуждений, в том числе для ИИ, который однажды упрётся в задачи, которые классические алгоритмы, возможно, решить не смогут.
Наука & Соломин