활용·도구· 6분
테스트 기법 26종 실험 — 지시 없는 쪽이 더 나았다
코딩 에이전트에게 TDD·퍼징·형식 검증을 시켜 Zstd를 구현시킨 실험입니다. 조건마다 160회씩 돌린 결과와, 에이전트가 실제로 무엇을 했는지 정리했습니다.
- #코딩 에이전트
- #평가
- #형식 검증
#형식 검증
2편 · 다른 태그 보기
전체 2편
2026년 09월 · 2편
ANTHROPIC 뉴스· 7분
Claude, 페르마 마지막 정리를 Lean으로 11일 만에 증명
Anthropic이 9월 4일 Claude가 11일·60억 토큰으로 페르마의 마지막 정리를 Lean으로 형식화했다고 발표했습니다. 검증 방법과 Kevin Buzzard의 평가를 정리했습니다.
- #Anthropic
- #수학
- #형식 검증