AI Briefing#formal-methods
#formal-methods와 관련된 AI·개발 뉴스를 최신순으로 모았습니다. 원문 출처와 한국어 요약을 함께 확인할 수 있습니다.
#formal-methods와 관련된 AI·개발 뉴스를 최신순으로 모았습니다. 원문 출처와 한국어 요약을 함께 확인할 수 있습니다.
NVIDIA가 Z3 SMT 솔버로 AI 에이전트 정책의 권한 초과를 결정적으로 검증하는 형식적 방법론을 공개했다.
GPT-5.6 기반 실험에서 TDD, 폼 메소드 등 검증 스킬 지시가 정확도 향상 없이 비용만 증가시켰다.
Amazon은 Verus를 활용해 Rust 코드의 수학적 정확성을 증명하며, 기존 Rust의 안전성을 넘어선 보증을 제공한다.
DeepSeek-AI와 베이징대가 실행 중 플러그인 제거와 의존성 관리를 위한 형식 이론 기반 메타 프레임워크 Cordis를 공개했다.
SysMoBench는 LLM이 TLA+ 구문은 잘 맞추지만 실제 시스템 모델링은 약하다고 보여줬다.