Логіка: у кубіт. Квантовий комп’ютер узяв участь у розв’язанні складної математичної задачі

Дослідники використали 121-кубітний квантовий процесор для автоматичного доведення геометричних теорем, зокрема задачі з Міжнародної математичної олімпіади 1978 рок…