OpenAI 2026-08-02 OpenAI, Astra로 증명 10건 공개 OpenAI는 Astra의 첫 공개 신호로 수학과 이론 컴퓨터과학의 10개 결과, 249쪽 논문, Lean 증명서와 추론 기록을 공개했다. #AI 연구#수학#형식 검증
