OpenAI, 수학 결과 3건 철회

X 게시물을 GeekNews가 정리한 소식이에요. OpenAI의 수학 GitHub 저장소에 새 Lean 형식화 6건, 수정 19건, 철회 3건이 반영됐다고 해요. 게시물에는 철회된 결과 3건의 구체적인 대상이나 사유가 나와 있지 않고, 저장소 주요 결과의 약 42%가 현재 형식화된 상태라고 해요.