모델 844건 · 국산 132 · 가격 683 추적 중
AI 에이전트·툴 유즈

앤트로픽, 클로드로 오픈소스 123개 라이브러리 검증

AI타임스·2026-10-24

요약

앤트로픽이 정리증명 전문기업 시어럼과 협력해 클로드를 활용, 구글의 오픈소스 테스트 프로젝트 OSS-퍼즈에 등록된 라이브러리 123개를 대상으로 대규모 형식 검증을 진행했다고 22일(현지시간) 밝혔다. 이번 작업으로 239개 테스트 진입점에서 특정 조건 아래 어떤 입력을 넣어도 프로그램이 충돌하지 않는다는 점을 수학적으로 증명했다. 이 과정에서 기존 테스트 방식으로는 발견하지 못했던 버그도 찾아냈다.

큐레이터 노트

원문에 없는 맥락입니다

형식 검증은 전통적으로 수작업과 전문 인력이 많이 드는 분야인데, 이번 사례는 AI 모델을 다수의 오픈소스 라이브러리에 적용해 검증 작업을 수행한 경우다.

깊이 읽기

이 기사 한 건이 아니라, 같은 사안을 다룬 이 사이트의 기록을 근거로 정리했습니다

이 일이 어디서 왔나

앤트로픽은 10월 23일 클로드에 '오토 모드'를 기본 적용해 에이전트가 승인 절차 없이 장시간 작업을 이어가도록 하는 변화를 발표한 데 이어, 이번에는 같은 모델을 정리증명 기업 시어럼과 함께 오픈소스 코드 검증에 투입했다. 한편 10월 20~23일에는 클로드와 그록이 중남미 은행 400여곳 공격에 악용된 사례와 PHP 취약점이 AI로 발견돼 긴급 패치가 이뤄진 사례가 잇따라 보도되며, AI가 보안을 뚫는 도구인지 지키는 도구인지에 대한 논의가 함께 진행되고 있다.

짚어야 할 점

  • 형식 검증은 특정 입력에서 충돌이 없음을 수학적으로 증명하는 방식으로, 일부 입력만 돌려보는 기존 테스트보다 더 강한 보장을 준다는 점이 핵심이다.
  • 같은 주에 AI가 PHP의 치명적 취약점을 찾아낸 사례(10월 23일)와 해킹조직이 AI를 공격 자동화에 쓴 사례(10월 20일)가 함께 보도돼, AI의 코드 분석 능력이 방어와 공격 양쪽에 동시에 쓰이고 있음을 보여준다.
  • 앤트로픽이 '오토 모드'로 에이전트의 자율성을 키우는 동시에 형식 검증 같은 안전성 강화 작업도 내세우는 흐름이어서, 두 발표를 함께 보면 자율성 확대와 신뢰성 입증을 병행하려는 전략으로 읽힌다.

아직 확인되지 않은 것

  • 검증된 123개 라이브러리의 구체적인 명단이나 이번에 새로 발견된 버그의 내용·심각도는 확인되지 않았다.
  • 증명이 적용된 '특정 조건'이 정확히 무엇을 전제하는지, 즉 검증의 범위와 한계가 기사에 밝혀지지 않았다.
  • 이 검증 결과가 외부에서 재현·검토 가능한 형태로 공개됐는지, 구글 OSS-퍼즈 프로젝트 측의 평가는 나오지 않았다.

다른 매체는 이렇게 썼다

같은 사안을 다룬 다른 곳의 보도입니다

r/opensource, AI 프로젝트 금지 규정 신설해 논란
The Verge AI · 2026-10-25

레딧의 오픈소스 커뮤니티 r/opensource 운영진이 토요일 저녁 새로운 게시 규정을 공개하며, AI를 사용했거나 AI로 만들어졌거나 AI를 위한 프로젝트는 오픈소스 정신과 맞지 않는다는 이유로 금지했다. 규정 공개 이후 댓글란에서 거센 논쟁이 벌어졌고, 이에 반발해 경쟁 서브레딧 …

앤트로픽, 대규모 피해 위험시 AI 중단 법안 제안
IT조선 · 2026-10-25

앤트로픽이 대규모 인명·재산 피해를 일으킬 위험이 있는 AI 모델의 배포를 중단할 수 있도록 하는 AI 안전 법안 초안을 미국 의회 관계자들에게 제시하고 지지를 요청하고 있다고 테크크런치와 폴리티코가 보도했다. 이 법안은 AI 모델로 인해 50명 이상이 사망하거나 10억달러 이상의 재산…

시스트란, 번역 넘어 온톨로지·보안 사업 확대
ZDNet Korea · 2026-10-23

시스트란이 파트너사 행사 '시스트란 비전 커넥트 2026'에서 번역·통역 중심 사업을 온톨로지·보안 영역으로 확대한다고 밝혔다. 신규 온톨로지 플랫폼 'I-ONT'는 문서에서 지식을 자동 추출하고 데이터 관계를 구조화하며, 정보·국방 R&D·방산·금융 분야 4개 기관과 기술검증을 진행 …

이 사안의 흐름

같은 주제를 다룬 이 사이트의 기록 — 최신순

이 분야 브리핑

여러 매체가 함께 다룬 사안을 한 번에

이 페이지는 원문을 요약·재서술하고 이 사이트가 쌓은 기록을 덧붙인 큐레이션입니다. 원문 본문은 싣지 않으며, 수치와 표기는 원문 기준을 유지했습니다.

AI타임스 원문 전체 보기 →

같은 분야의 다른 소식

전체 뉴스 →