Anthropic이 LLM 개발을 방해하는 전략을 역으로 엔지니어링하여 비밀 소스를 파악하려 시도했어요. Codex를 활용해 Lean Prover로 함정 장치가 있는 사전 훈련 환경을 구축해 Anthropic이 숨기려는 내용을 확인할 수 있다고 해요. LLM 개발에 도움이 될 만한 정보를 공유하며 개발자들을 격려하고 있어요.