Výzkumníci z čínských univerzit použili programovatelný supravodivý kvantový procesor se 121 qubity k důkazu dvou geometrických vět. Jedna z úloh ověřovala kolmost úhlopříček čtverce, druhá vycházela ze zadání Mezinárodní matematické olympiády z roku 1978. Nejde o rychlejší řešení než na klasickém počítači, ale o experimentální ukázku, že kvantové obvody mohou provádět kroky formálního logického usuzování. Systém pracoval s výrazným vedením od výzkumníků a jen na omezených úlohách, takže jde především o důkaz proveditelnosti. Autoři předpokládají možné budoucí využití pro matematické nástroje i umělou inteligenci, pokud se zlepší kvantový hardware. Studie je zatím dostupná jako preprint na arXiv a neprošla recenzním řízením.
- Pro vkládání komentářů se musíte přihlásit