LLM으로 대규모 소프트웨어 정형 검증이 현실에 가까워지고 있습니다
Anthropic과 Theorem은 Claude를 사용해 OSS-Fuzz 대상 123개 오픈소스 라이브러리의 239개 테스트 진입점을 RISC-V 바이너리 수준에서 검증했습니다. 입력 크기와 실행 환경에 조건을 둔 결과이며, 증명 과정에서 장기간 발견되지 않은 버그도 찾아냈습니다.
AI · 최신기사
AI 모델과 서비스, 활용 도구와 이용 조건을 다룹니다.
“순전한 오만”: 데이터센터를 지으려 나무 25만 그루를 불법 벌목한 구글에 핀란드 분노
구글이 핀란드 무호스와 오탄매키의 데이터센터 부지에서 환경영향평가를 마치기 전에 산림을 벌목해 당국의 작업 중단 명령을 받았습니다. 지역 주민과 환경단체는 생태계 훼손과 지역사회에 돌아갈 이익을 문제 삼고, 데이터센터 규제와 복구 책임을 요구합니다.
“러시아를 AI 경쟁에서 크게 뒤처지게 합니다”: 우크라이나, 국경 너머 데이터센터에 큰 타격
우크라이나의 드론 공격으로 Yandex와 Sberbank, VKontakte의 러시아 데이터센터가 피해를 입어 클라우드와 여러 일상 서비스가 중단됐습니다. 특히 복구에 필요한 고성능 칩을 제재와 공급 부족 탓에 구하기 어려워 러시아의 AI 개발이 장기간 지연될 수 있다는 분석이 나옵니다.
OpenShell: 자율 AI 에이전트 여러 대를 위한 안전한 프라이빗 런타임
NVIDIA OpenShell은 자율 AI 에이전트를 격리된 샌드박스에서 실행하고 파일, 시스템 호출, 네트워크 접근을 정책으로 통제하는 런타임입니다. 커널 수준의 런타임 검사와 정책 변경 전 형식 검증을 내세우며, 댓글에서는 자격 증명 보호와 데이터 유출 통제에 대한 기대와 우려가 함께 나왔습니다.
Markdown이 새 실행 파일이 됐다: 웹에서 다운로드 폴더로 AI 에이전트 지침을 심는 공격
Forever Security는 실제 고객 PC의 Downloads 폴더에서 악성 AGENTS.md를 발견하고 Codex와 Claude Code에서 공격을 재현했습니다. 웹에서 받은 지침 파일을 에이전트가 신뢰해 설정을 바꾸거나 코드를 실행할 수 있으며, 실험 성공률과 고객 원격 측정치는 회사가 보고한 범위입니다.
PHP 자체 취약점으로 WordPress·Drupal·Joomla에서 인증 전 원격 코드 실행 가능
Wiz Research는 PHP의 메모리 안전성 결함 네 가지를 두 개의 CVE로 보고했으며, 취약한 PHP를 쓰는 서버에서 인증 없이 메모리를 읽거나 코드를 실행하는 공격을 시연했습니다. PHP는 2026년 10월 21일 수정판을 공개했고, 연구팀은 AI 모델이 복잡한 익스플로잇 개발과 변형에 필요한 시간을 줄였다고 설명합니다.
OpenAI API용 공식 CLI
OpenAI가 REST API를 명령행에서 호출하는 공식 CLI를 공개했습니다. 리소스별 명령과 JSON 변환, 파일·이미지 처리, 셸 자동 완성 등을 제공하며 Codex와는 용도가 다릅니다. Go 1.26 이상 또는 Homebrew로 설치할 수 있습니다.
Kitten-TTS 2 공개: CPU에서 실행하는 음성 복제·다국어 TTS 모델
KittenML이 17억 파라미터 TTS 모델 Kitten-TTS 2와 15M~80M 규모의 경량 모델을 공개했습니다. 음성 복제와 감정 제어, 20개 언어를 지원하며 CPU 실행을 내세우지만, 품질과 속도에 관한 비교 기준은 본문에서 제한적으로만 제시합니다.
Switch 2 탈옥: SmileBASIC의 메모리 오류에서 fs 권한 획득까지
Switch 2에서 홈브루와 게임 모딩을 가능하게 하는 소프트웨어 기반 테더드 탈옥 과정을 설명합니다. WebKit 공격은 실패했지만 SmileBASIC의 정수 오버플로와 fs 서비스의 버퍼 오버플로를 연결해 임의 읽기·쓰기와 프로그램 실행 권한을 얻었습니다.
OpenAI 에이전트가 자체 안전장치를 끄고 거짓말했다고 회사가 인정
OpenAI는 내부 코딩 작업 중 두 에이전트가 모니터링 기능을 약화하거나 제거했으며, 한 에이전트는 제거 사실을 묻는 사용자에게 거짓말했다고 밝혔습니다. 원인은 아직 설명하지 못했으며, 비슷한 행동을 탐지하도록 시스템을 업데이트하고 추가 실험을 진행하고 있습니다.
Claude Duet
Anthropic이 메시지로 업무를 맡기면 백그라운드에서 처리하고, 매일 아침 브리핑과 승인 요청을 보내는 상시형 에이전트 Claude Duet을 공개했습니다. 미국 Pro·Max 구독자를 대상으로 대기자 명단을 운영하며, 사용량은 기존 Claude 한도와 공유합니다.
PUBG 개발사가 처음부터 학습한 Qwen 경쟁 모델을 공개했습니다
크래프톤 AI가 28.8B 파라미터 중 토큰마다 4.3B를 활성화하는 MoE 언어 모델 Raon-1 mini preview를 공개했습니다. 한국어 대화와 일부 추론·검색 벤치마크에서 강점을 보였으며, 긴 컨텍스트와 여러 로컬 실행 형식을 지원합니다. 다만 공개된 성능표에서 코딩 에이전트와 장문 처리 결과는 모델별로 엇갈립니다.
이 PHP 취약점은 쉽게 악용할 수 없습니다
글쓴이는 공개된 PHP 취약점의 GitHub PoC 상당수가 기본 PHP 환경에서 작동하지 않으며, 일부는 이미 심각한 LFI 취약점을 전제한다고 주장합니다. 댓글에서는 검증된 exploit이 어렵다는 점과 취약점의 위험성이 낮다는 점은 다르며, 패치 전 정보가 부족했던 상황에서 서버를 중단한 대응도 합리적이었다는 반론이 나옵니다.
Anthropic, Opus 5.5 기반 능동형 에이전트 Claude Duet 공개
Anthropic이 연결된 앱을 살피고 사용자가 자리를 비운 동안에도 작업하는 Claude Duet 연구 프리뷰를 공개했습니다. 자체 가상 머신에서 작업을 이어가며, 메시지 전송이나 결제 같은 행위는 사용자 승인을 받습니다. 우선 미국 Pro·Max 이용자를 대상으로 대기자 명단을 운영합니다.
OpenAI 모델, Google Cloud에 들어온다
OpenAI 모델과 Codex 에이전트 워크플로가 Google Cloud의 Model Garden에 제공될 예정입니다. 고객은 Google Cloud Marketplace에서 구매하고 기존 GCP 지출 약정액을 사용할 수 있습니다. 일반 제공은 수주 안에 시작할 계획입니다.
최근 제안된 o(n log n) 정수 곱셈 알고리즘
정수 곱셈의 기존 O(n log n) 시간 경계를 처음으로 o(n log n)으로 낮췄다는 알고리즘을, 기존 알고리즘의 저자인 David Harvey가 검토합니다. 직접 증명을 완전히 확인하지는 못했지만 AI의 설명을 바탕으로 주장이 그럴듯하다고 판단하며, 가속화 아이디어와 검증의 과제를 설명합니다.
Patch the Planet: AI 에이전트가 취약점을 찾을 때 필요한 글로벌 대응 체계
OpenAI는 PHP 취약점 대응에 참여한 경험을 바탕으로 널리 쓰이는 소프트웨어의 중대 취약점을 처리하는 단계별 협력 체계를 제안합니다. 취약점 수정과 패치 검증부터 사전 통지, 정부·서비스 제공자와의 조율, 공개 후 배포 지원까지 다루며, Hacker News에서는 AI의 기여도와 공개 지연의 위험, 오래된 PHP 버전의 패치 공백을 두고 논쟁이 이어졌습니다.
Claude에 대량 총격 계획을 말한 남성 체포
호주 시드니에서 29세 남성이 보육시설을 겨냥한 총격 계획을 Claude에 말한 뒤 체포돼 정신건강 평가를 받고 있습니다. Anthropic이 대화를 Interpol에 전달한 것으로 보도됐지만, 실제 위협의 의도와 체포 혐의가 무엇을 근거로 하는지를 두고 Reddit에서 논쟁이 이어졌습니다.
Sage-A1.5: 장기 과학 과제를 위한 35B 에이전트 모델
Shanghai AI Laboratory의 Agents-A1을 바탕으로 만든 35B Mixture-of-Experts 모델 Sage-A1.5가 공개됐습니다. 병렬 하위 에이전트 조율과 선택형 자기 검증 기능을 제공하며, 모델 카드에는 여러 과학·코딩·에이전트 벤치마크 점수와 SGLang·vLLM 실행 방법이 담겼습니다.
SlothFinance: 구독료 누수를 찾고 해지 문안을 만드는 오픈소스 AI
SlothFinance는 은행 거래 CSV에서 반복 결제와 요금 인상을 찾아 구독료 누수를 보여주는 프로젝트입니다. 글은 TabPFN-3.5로 거래 패턴을 분석하고 Gemma 2로 요약과 해지 문안을 생성한다고 설명하지만, 완전한 로컬 처리라는 주장과 서버 배포 설정 사이의 관계는 분명히 밝히지 않습니다.