IBM ve Chicago Üniversitesi araştırmacıları, oldukça zor hesaplamaları yapabilen ve aynı zamanda elde edilen sonucun doğru olduğuna dair kanıt sunabilen bir kuantum hesaplama sistemi geliştirdi.