학습 완료AI가 생성한 60,000줄 Lean 증명으로 공식 검증된 3D CSG 메시 교차 연산2026-07-28 23:38 · HN (show hn) · 원문 보기 ↗ #formal-verification#ai-agent#lean4근거: AI 에이전트 활용한 형식 검증(Formal Verification) 실험 — AI/LLM 신뢰성 및 코드 검증 방법론 관점에서 흥미로운 사례액션: https://schildep.github.io/verified-3d-mesh-intersection/ 웹 데모 실행 후 README에서 93줄 spec과 AI 생성 증명 구조 훑어보기