Науковці застосували 121-кубітний квантовий процесор для доведення геометричних теорем
Логіка — у кубіт. Квантовий комп’ютер узяв участь у розв’язанні складної математичної задачі
Дослідники використали 121-кубітний квантовий процесор для автоматичного доведення геометричних теорем, зокрема задачі з Міжнародної математичної олімпіади 1978 року. За даними NV, робота демонструє нове застосування квантових обчислень у математичній логіці.
Мовою оригіналу · UK
Дослідники застосували 121-кубітний квантовий процесор для автоматичного доведення геометричних теорем, зокрема задачі з Міжнародної математичної олімпіади 1978 року.
Чому в стрічці: Квантові обчислення на межі науки й технологій — цікаво з огляду на інтерес до фізики та AI-суміжних тем.