Chiński komputer kwantowy udowodnił twierdzenie z Olimpiady Matematycznej z 1978 roku

Naukowcy z Zhejiang University i Tsinghua University użyli 121-kubitowego procesora kwantowego do automatycznego dowodzenia twierdzeń matematycznych. Jeden z udowodnionych problemów pochodzi z Międzynarodowej Olimpiady Matematycznej z 1978 roku. Eksperyment pokazuje, że komputery kwantowe mogą wykraczać poza obliczenia i wkraczać w obszar formalnej matematyki.