오픈AI, 내부 모델 수학 연구 결과 깃허브 공개

오픈AI가 내부 모델의 수학 연구 결과와 일부 증명 형식화를 깃허브에 공개했다. 오픈AI는 10월 6일 내부 모델이 만든 수학 결과를 공개 저장소에 게시했다고 밝혔다. 일부 증명의 Lean 형식화와 모델 추론 요약 10개, 문제 시도 통계도 함께 공개했다. 평균 결과 하나에 든 계산량은 ChatGPT Pro의 ‘thinking’ 기준 약 3시간이라고 추정했다. 쟁점은 수학 문제를 푸는 능력이 암호 해독 능력으로 곧바로 이어지느냐는 것이다. 이더리움 재단 연구자 저스틴 드레이크(Justin Drake)는 이더리움 공식 영상에서 AI가 타원곡선의 숨은 구조를 찾아 암호를 깰 가능성을 가정으로 언급했다. 같은 영상에서 그는 암호의 건전성에 “상당히 자신…