공유된 러스트 자율 운항 체계가 항구와 여객선, 화물 운반차의 자동화를 값싸게 만들지만, 아무도 발견하지 못한 한 가지 예외 때문에 세계 해운망 전체에 같은 안전 동작이 퍼진다.
인공지능 코딩 에이전트가 수년 걸리던 해양 소프트웨어 작업을 몇 주로 줄이자, 운영자들은 크레인과 예인선, 여객선, 창고 운반차에 공통의 형식 검증 핵심부를 채택한다. 안전 특성은 실제로 확인되지만, 무선 시간과 항만 구조에 대한 가정도 모두 공유된다. 드문 시계 넘침이 발생하자 수천 대의 기계가 서로에게 양보만 하며 멈춘다. 승무원들이 서로 다른 제어 체계를 설치한 뒤에야 운송이 재개되고, 소프트웨어 다양성은 예비 엔진처럼 예산에 반영해야 하는 비용이 된다.
새벽 3시 17분, 로테르담 마스블락테 관제실에서 배차 담당자 엘레나 루이스는 자율 크레인 마흔여덟 대가 화물을 든 채 움직이지 않는 모습을 본다. 그 건물에서 가장 빠른 도구는 종이 해도와 휴대 무전기가 된다.
공통 체계는 안전 개선을 보편적이고 감사 가능하게 만들 수 있다. 그러나 모든 운영자에게 두 번째 체계를 요구하면 낡은 결함을 보존하고 작은 항구를 영구적으로 불리하게 만들 수도 있다.
새벽 3시 17분, 로테르담 마스블락테 항구의 자율 크레인 48대가 동시에 멈췄습니다. 고장 난 기계가 한 대였던 게 아니죠. 같은 규칙이 멈춘 겁니다. 38억 매개변수급 코딩 에이전트가 해양 소프트웨어를 통합했습니다. 크레인과 예인선, 운반차가 같은 안전 규칙을 쓰게 됐죠. 개별 검증은 통과했지만, 시계 넘침에서 문제가 겹쳤습니다. 세계 항구의 수천 대가 서로 양보만 하며 멈췄습니다. 인공지능의 실수라기보다 같은 해법을 한꺼번에 배포한 결과였습니다. 공통 기반은 안전 개선과 감사를 빠르게 만듭니다. 하지만 독립 백업을 갖추려면 서로 다른 설계가 비용이 되죠. 큰 항만은 버텨도 작은 항구는 낡은 오류를 떠안습니다. 결국 자동화의 안전성도 규모에 따라 갈립니다. 같은 주의가 같은 실패로 겹칠 때, 안전의 기준은 달라집니다. 하나의 정답을 택하시겠습니까? 서로 다른 실패를 남기시겠습니까?