Daily OSS
즉시조치
백로그
학습
완료
태그
tag: Formal-Verification · 1건
학습
완료
AI가 생성한 60,000줄 Lean 증명으로 공식 검증된 3D CSG 메시 교차 연산
2026-07-28 · 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 생성 증명 구조 훑어보기