tag: Formal-Verification · 3건
- 근거: AI/LLM 관심 분야 중 LLM 추론(reasoning) 연구 관련 — OpenAI의 수학 형식증명(Lean) 저장소
- 액션: README와 overview.pdf 읽고 LLM 수학 추론 연구 동향 파악하기
- 근거: Anthropic이 공개한 페르마의 마지막 정리 Lean 형식 증명 — AI/LLM 분야에서 AI 보조 수학 증명의 사례로 주목할 만하나, 실무 IT 도구가 아닌 수학·형식검증 학술 프로젝트
- 액션: PROOF-PATH.md와 README 읽어서 Anthropic이 AI를 어떻게 증명에 활용했는지 흐름 파악
- 근거: AI 에이전트 활용한 형식 검증(Formal Verification) 실험 — AI/LLM 신뢰성 및 코드 검증 방법론 관점에서 흥미로운 사례
- 액션: https://schildep.github.io/verified-3d-mesh-intersection/ 웹 데모 실행 후 README에서 93줄 spec과 AI 생성 증명 구조 훑어보기