앤스로픽, LLM으로 123개 오픈소스 라이브러리 형식 검증 완료…수년째 발견 못한 버그 찾아냈다
앤스로픽(Anthropic)이 LLM을 활용해 123개 실제 오픈소스 라이브러리의 보안 속성을 어셈블리(RISC-V) 코드 수준에서 수학적으로 증명하는 데 성공했다고 발표했습니다. 생산…
IT 기술, 글로벌 이슈, 한국 지역 뉴스를 가장 빠르게 전하는 뉴스 사이트
앤스로픽(Anthropic)이 LLM을 활용해 123개 실제 오픈소스 라이브러리의 보안 속성을 어셈블리(RISC-V) 코드 수준에서 수학적으로 증명하는 데 성공했다고 발표했습니다. 생산…