Anthropic publikuje badania nad kryptografią i obwodami kwantowymi z wykorzystaniem modelu Claude
20 października 2026 · Czas czytania: 2 min
Firma Anthropic opublikowała dwie prace badawcze, w których wykorzystano model Claude do analizy ziarn siewnych krzywych eliptycznych NIST oraz projektowania obwodów kwantowych.
Model Claude w czasie krótszym niż pół godziny odtworzył pochodzenie ziarn siewnych pięciu prostych krzywych NIST: P-192, P-224, P-256, P-384 oraz P-521. Analiza wykazała, że ziarna te nie były skrótami, lecz wynikiem funkcji lrand48 ze standardowej biblioteki języka C, zainicjowanej znacznikiem czasu Unix. Przykładowo, dla krzywej P-256 była to 1842. iteracja z dnia 16 sierpnia 1997 roku, godzina 01:52:34 UTC. Wyniki te zostały potwierdzone za pomocą reprodukowalnego kodu, co zdaniem autorów sprawia, że teoria o celowym wprowadzeniu tylnej furtki staje się znacznie mniej prawdopodobna.
Nie wszystkie kwestie zostały jednak wyjaśnione. Ziarno siewne krzywej binarnej B-163 nie pasowało do żadnego z testowanych schematów, a punkty bazowe dla krzywych od P-224 do P-521 oraz krzywych binarnych pozostają niewyjaśnione. Nieznane są również kryteria wyboru konkretnych kandydatów na krzywe. Autorzy zaznaczają, że choć wersja o celowej słabości jest mniej prawdopodobna, teoretycznie dobór znaczników czasu wciąż pozostaje możliwy.
Osobny sukces odnotowano w kwestii punktów bazowych sześciu krzywych z maja 1997 roku, w tym P-192, gdzie zidentyfikowano generator FreeLIP autorstwa Lenstry. W związku z rozwiązaniem zagadki ziarn siewnych, Anthropic przekazała nagrodę w wysokości 36 864 dolarów na rzecz Internet Security Research Group. Środki te pochodzą z funduszu ustanowionego w 2023 roku przez kryptografa Filippo Valsorta i jego współorganizatorów.
Drugie badanie dotyczyło modelu Claude Mythos 5, który zaprojektował obwody kwantowe dla ośmiu prymitywów obliczeniowych, w tym dla chemii i teorii liczb. Model znalazł warianty wymagające mniejszej liczby kubitów i bramek niż dotychczasowe rozwiązania. W przypadku dodawania punktów na krzywej eliptycznej jeden z wariantów wykorzystuje 17 razy mniej bramek, choć wymaga o 12% więcej kubitów. Z kolei dekoder Reeda Solomona dla algorytmu optymalizacji DQI posiada 12 razy mniej bramek niż konstrukcja Google i wymaga 19 kubitów rezerwy zamiast 665.
Autorzy podkreślają, że wyniki dotyczące obwodów kwantowych są szacunkami zasobów dla przyszłych maszyn, a nie uruchomieniami na obecnym sprzęcie. Weryfikacja odbyła się za pomocą zewnętrznego programowego oceniająca oraz formalizacji w języku Lean. Badacze zauważyli, że model Claude wykazywał konserwatyzm i skłaniał się ku znanym podejściom, dopóki nie poproszono go o rozszerzenie poszukiwań.