앤트로픽 클로드, 코드 정확성 수학 증명 자동 생성
Anthropic's Claude now writes code and proves it safe automatically
- 매체
- The Decoder
- 게시
- 중요도
- 4/5
- 화제 지수
- —
한국어 요약
앤트로픽이 클로드로 기존 코드의 정확성을 증명하는 수학 증명을 생성해 123개 오픈소스 라이브러리 대상 약 1억8천만 줄의 증명 코드를 생산했다. 기존 테스트에서 놓친 버그도 적발했다.
원문 발췌 · English
Anthropic had Claude generate mathematical proofs that existing code is correct, producing roughly 180 million lines of proof code for 123 open-source libraries. Along the way, the model caught bugs that years of testing had missed. Anthropic's goal: making formal verification with AI as routine as standard testing. The article Anthropic's Claude now writes code and proves it safe automatically appeared first on The Decoder.