MVUEH. Co potwierdza odzyskanie jednego meldunku Enigmy
Frode Weierud opisał odzyskanie niemieckiego meldunku MVUEH z 10 lipca 1941 roku. Według jego relacji wiadomość pozostawała nierozwiązana od 2005 roku; we wrześniu 2026 Carter Leffer przekazał mu klucz i tekst uzyskane przy użyciu GPT-6 Astra. Zaszyfrowana treść liczyła 82 litery. Relacja Weieruda.
Hipoteza potrzebuje osobnego sprawdzianu
Studium przypadku opisuje wykorzystanie powtórzonej nazwy ROSENOWROSENOW jako przypuszczalnego fragmentu tekstu, czyli cribu. Te 14 liter ograniczało poszukiwania. Pozostałe 68 liter i oddzielnie zapisany nagłówek dostarczały sprawdzianu wykraczającego poza narzuconą frazę. Autorzy podają również odtworzenie wyniku przez osobne implementacje symulatora.
To przydatny przykład do notatki o niezależnym źródle oczekiwanego wyniku. Fragment użyty do znalezienia rozwiązania nie wystarcza do jego oceny. Trzeba wskazać dodatkowe dane, które mogłyby obalić hipotezę. Samo ponowne zaszyfrowanie otrzymanego tekstu sprawdza odwracalność obliczeń, lecz nie rozstrzyga historycznej poprawności odczytu — to ograniczenie omawia także studium przypadku.
Opisy różnią się w istotnych szczegółach
Weierud przedstawia pracę jako w pełni samodzielne działanie modelu. Studium przypadku opisuje badanie prowadzone przez człowieka z udziałem GPT-6 Astra i agentów specjalistycznych. Na podstawie tych relacji nie można uznać pełnej autonomii za bezspornie ustaloną.
Jest też rozbieżność techniczna: artykuł podaje kolejność wirników 512 dla pozostałych kluczy z tego dnia, a tabela kluczy CryptoCellar wskazuje 521. Dla samego MVUEH obie strony podają 253. Rozbieżność pozostaje odnotowana, bez zgadywania jej przyczyny.
Wynik dotyczy konkretnej wiadomości i określonych założeń poszukiwania. Autorzy studium nie deklarują pierwszego w historii złamania Enigmy ani dowodu obejmującego wszystkie konfiguracje. Opis kontroli wyniku pochodzi z ich dokumentacji; ta notatka nie jest niezależnym odtworzeniem obliczeń.
Przypadek łączy narzędzia i pętlę pracy agenta z niezależnymi kryteriami weryfikacji. Warto czytać go jako przykład sposobu dochodzenia do sprawdzalnego wyniku.