Astra의 Enigma 해독, 답보다 검증 경로가 중요하다

무엇이 확인됐나: 82글자 메시지의 키와 평문

Crypto Cellar Research의 Frode Weierud는 MVUEH 해독 보고에서 GPT-6 Astra를 이용한 역사적 Enigma 메시지 해독 결과를 확인했다고 밝혔다. 보고에 따르면 Carter Leffer가 9월 15일 검증을 요청했고, Weierud는 전달받은 키와 평문이 올바르다는 것을 확인했다. 본문은 9월 19일 업데이트됐으며 관련 프로젝트 페이지는 9월 22일 소식을 다시 소개했다. 따라서 오늘 일어난 해독으로 날짜를 바꿔 읽으면 안 된다.

대상은 1941년 7월 10일의 독일군 메시지 MVUEH다. 원문 보고에 따르면 2005년 이후 해독 시도가 성공하지 못했던 82글자 암호문이다. 같은 날의 다른 메시지 SIPVX는 2017년에 풀렸지만 그 키로 MVUEH를 풀 수 없었다. 새 결과에서 바퀴 순서는 다른 메시지의 512와 달리 253이었다.

또한 보고는 암호문을 디지털 문자로 옮기는 과정의 오류와 72번째 글자에서 발생하는 왼쪽 바퀴의 회전을 난점으로 지적한다. 이는 모델이 미지의 수학 법칙을 발견했다는 이야기와 다르다. 불완전한 사료와 관련 문서를 비교하고, 기존 암호 체계에 맞는 탐색 도구를 만들어 검증한 사례로 읽는 편이 정확하다.

연구 에이전트의 역할: 검색·가설·코드 실행의 연결

Weierud의 설명에 따르면 Astra는 공개된 미해독 메시지 중 MVUEH를 유망한 대상으로 골랐다. 이미 해독된 SIPVX와 평문이 관련될 가능성을 검토하고, 반복 지명인 ROSENOW ROSENOW를 예상 평문 단서로 사용했다. 이어 Python과 C++로 Enigma 시뮬레이터와 탐색 도구를 개발해 키와 평문을 찾았다는 것이다.

이 과정에서 주목할 것은 언어모델의 문장 완성 능력보다 여러 작업을 잇는 능력이다. 사료의 표기를 읽고, 가능한 단서를 좁히며, 프로그램으로 가설을 검사하고, 결과를 다시 원문과 맞춘다. 정답 후보를 만드는 단계와 후보를 판정하는 단계가 분리돼 있어야 연구자가 결과를 신뢰할 수 있다.

관련 자료는 프로젝트 소개, 연결된 해독 사례 연구, 기존 Enigma 해독 연구 안내에서 더 살펴볼 수 있다. 사례 보고와 독립 검증, 역사적 배경 자료는 서로 다른 종류의 근거다.

과장하면 놓치는 것: 성공은 확인됐지만 과정 분석은 진행 중

원문은 Astra가 사실상 스스로 수행했다고 평가하면서도, 로그를 계속 분석하고 있다고 적는다. 독일 연방기록보관소의 자료 번호를 알아낸 경로 역시 완전히 규명됐다고 말하지 않는다. 보고에 인용된 로그에는 원래 메시지 이미지의 위치를 찾지 못했고 관련 스캔을 환경에서 열지 못했다는 설명도 있다.

이 구분이 중요하다. 정확한 자료 번호를 언급했다고 해당 원본을 직접 읽었다고 단정할 수는 없다. 최종 키가 맞다는 사실과 검색의 모든 중간 단계가 설명됐다는 사실도 별개다. 이런 한계를 함께 제시하는 것은 성과를 축소하는 것이 아니라, 어떤 부분을 후속 연구가 재현해야 하는지 밝히는 일이다.

또한 Enigma의 역사적 메시지를 푼 사례를 현대의 모든 암호 체계가 위험해졌다는 근거로 쓰면 안 된다. 알고리즘과 키 공간, 이용 가능한 단서가 다르다. 이번 사례는 구체적인 오래된 문제에서 연구·도구 활용이 결합된 성과이지 범용 암호 해독 능력의 입증이 아니다.

한국 연구팀에 주는 시사점: 답변 저장보다 실험 묶음 보존

한국의 문헌 연구, 과학 계산, 소프트웨어 분석에서도 원자료의 오류는 흔하다. OCR 오인식, 오래된 단위, 서로 다른 판본을 정답 데이터처럼 취급하면 계산을 정교하게 해도 결론이 틀릴 수 있다. 에이전트에는 원문과 정제본을 구별하고 수정 근거를 남기는 역할을 주는 것이 유용하다.

보존해야 할 산출물은 대화문만이 아니다. 입력 파일의 버전, 전처리 차이, 실행 코드, 도구 반환값, 실패한 가설, 최종 검증 절차를 함께 묶어야 한다. 모델 제공자가 바뀌어도 제삼자가 결과를 검사할 수 있어야 한다. Lean 4와 형식 증명의 신뢰 장치에서 논의한 검증 가능한 산출물의 가치와 연결된다.

연구 성과의 공개 방식도 설계 대상이다. 수학·AI 자문그룹의 결과 공개 논의는 인상적인 발표와 검증 가능한 연구 결과 사이의 간극을 다룬다. 연구 에이전트의 과적합 문제와 함께 보면, 한 문제의 성공보다 새로운 문제에서 얼마나 안정적으로 근거를 남기는지가 다음 경쟁 기준이 된다.

FAQ

해독은 오늘 처음 일어났나?

아니다. 원문은 9월 15일 검증 요청과 9월 19일 업데이트를 기록한다. 최근 다시 공유된 사례다.

모델이 그럴듯한 독일어를 만들어낸 것인가?

보고는 연구자가 올바른 키와 평문을 확인했다고 밝힌다. 문장의 자연스러움만으로 판정한 사례로 소개하지 않는다.

완전한 무인 연구가 입증됐나?

연구자는 높은 자율성을 평가했지만 사람의 과제 요청과 결과 확인이 있었고 로그 분석도 진행 중이다.

현재 사용하는 암호도 같은 방식으로 풀리나?

이 사례로는 알 수 없다. 역사적 Enigma와 현대 암호의 구조·조건은 다르다.

국내 팀이 재현할 핵심 습관은 무엇인가?

입력 자료, 수정 이력, 코드, 실행 로그, 독립 검증 절차를 하나의 실험 묶음으로 보존하는 것이다.