LLM 자동 형식화, 컴파일 성공해도 전문가 검토 못 넘는다…그로텐디크 정리 사례 작성: STORIUM 편집부 2026년 06월 16일 09시 07분 0 LLM이 증명 공백을 채워 컴파일에 성공해도 전문가 검토에서 정의, 일반성, API 설계 등 심각한 결함이 발견된다는 사례 연구가 arXiv에 공개됐다.
