LLM 에이전트 팀이 텐서 네트워크 정리를 Lean으로 형식화 작성: 서아라 리포터 2026년 07월 11일 03시 21분 0 전문 에이전트와 인간 검토를 결합해 행렬곱상태 기본정리를 형식화하고 TNLean 라이브러리를 구축했다.
