Kínai kutatók kvantumszámítógép segítségével végeztek el logikai lépésekre épülő matematikai bizonyítást egy 1978-as olimpiai feladaton.
Hamarosan átirányítunk a teljes cikkhez → Liner