Naukowcy z Chin wykorzystali 121-kubitowy procesor kwantowy do automatycznego dowodzenia twierdzeń matematycznych, w tym zadania z Międzynarodowej Olimpiady Matematycznej z 1978 roku. To przełomowe zastosowanie komputerów kwantowych wykraczające poza klasyczne przetwarzanie liczb.
Chiński 121-kubitowy procesor kwantowy właśnie zrobił coś, co przez dekady było domeną ludzkich umysłów: samodzielnie udowodnił twierdzenie matematyczne z olimpiady sprzed prawie pół wieku. To nie jest kolejne liczenie pierwiastków na astronomicznych liczbach, to wejście komputerów kwantowych na terytorium abstrakcyjnego rozumowania, gdzie królowała dotąd czysto ludzka intuicja.
Zanim jednak odkorkowujemy szampana, warto zapytać: czy jedno olimpijskie zadanie to przełom, czy efektowna sztuczka pokazowa? Droga od rozwiązania jednego wyselekcjonowanego problemu do ogólnego, niezawodnego dowodzenia twierdzeń jest równie długa, co odległość między kalkulatorem a matematykiem Fields Medal.
To streszczenie zostało przygotowane przy pomocy narzędzi AI na podstawie źródła. Pełną treść znajdziesz w oryginalnym artykule.
Co o tym myślisz?
Zaloguj się, aby dołączyć do dyskusji.
Zaloguj się do dzis.ai
Komentuj, zachowaj swoją passę, dołącz do dyskusji.
G Kontynuuj z Google