학습 대기OpenAI 수학 형식증명 Lean 저장소 (추론 트레이스 포함)2026-10-07 01:48 · GitHub Trending (stars:>200) · 원문 보기 ↗ #ai-llm#formal-verification#reasoning근거: AI/LLM 관심 분야 중 LLM 추론(reasoning) 연구 관련 — OpenAI의 수학 형식증명(Lean) 저장소액션: README와 overview.pdf 읽고 LLM 수학 추론 연구 동향 파악하기