AI가 작성한 Lean 코드를 신뢰하지 않는 이유I don't trust Lean code from AI▲ 6 · karagila.org · 9시간 전 · 1 댓글원문 보기 → HN에서 보기 →원문 요약원문을 요약하고 있습니다…