오
오정민 기자
작성한 기사 1112
최신순
오픈소스
Google 오픈소스 XLS, 고수준 코드로 ASIC·FPGA 설계 자동화
Google의 공식 오픈소스 저장소에 따르면 고수준 합성 도구 모음 XLS가 9월 1일 최신 빌드를 공개했다. XLS는 DSLX나 C++로 작성한 기능을 Verilog·SystemVerilog로 변환해 ASIC·FPGA 하드웨어 설계를 지원한다.오정민 기자 · 2026. 09. 07.
기업·모델
구글 딥마인드, 암호기술 기반 이중맹검 AI 평가 시범 운영
구글 딥마인드가 모델 개발사와 외부 평가기관이 서로의 민감한 자산을 보지 못하도록 설계한 이중맹검 AI 평가를 시범 운영한다고 밝혔다.오정민 기자 · 2026. 09. 07.
취약점·보안권고
[속보] 플렉스, 미디어 서버·데스크톱 보안 업데이트 권고
플렉스가 Plex Media Server 1.43.3과 Plex Desktop 1.115.0을 배포하고 보안 문제 해결을 위해 사용자에게 최신 버전으로의 신속한 업데이트를 권고했다.오정민 기자 · 2026. 09. 07.
보안 정책
OpenAI, AI 시대 사이버 방어 공동 대응 촉구…핵심 인프라 지원 제안
OpenAI 공식 발표에 따르면 회사는 AI 기반 사이버 공격 고도화에 대응하기 위해 정부·보안기업·AI 기업·일반 조직이 함께 방어 역량을 강화해야 한다고 촉구했다. 특히 자원이 부족한 핵심 인프라 운영자에게 도구와 자금, 실무 지원을 제공해야 한다는 제안이 담겼다.오정민 기자 · 2026. 09. 07.
취약점·보안권고
[속보] AI 코딩 에이전트, 압축 파일로 받은 저장소의 Git 설정에 코드 실행될 수 있어
보안 연구업체 매니폴드 시큐리티는 일부 AI 코딩 에이전트가 프로젝트 정보를 수집하려고 실행하는 Git 명령이 저장소 설정을 그대로 읽어, 압축 파일 등으로 전달된 신뢰할 수 없는 저장소를 열 때 임의 코드 실행으로 이어질 수 있다고 1일(현지시간) 밝혔다.오정민 기자 · 2026. 09. 07.
활용사례
앤트로픽, 클로드로 페르마의 마지막 정리 형식화 완료
앤트로픽은 클로드가 연구자들과 함께 페르마의 마지막 정리를 Lean 증명 보조기에서 검증할 수 있는 형태로 11일 만에 형식화했다고 밝혔다.오정민 기자 · 2026. 09. 07.
활용사례
사전공개 연구, AI 의료 기록 보조 도구 3종 점검…기록 31.3%서 오류
AI 의료 기록 보조 도구 3종을 같은 진료 상담에 적용한 사전공개 연구에서, 검증 절차를 통과한 오류가 포함된 기록의 비율이 31.3%로 집계됐다. 연구진은 이 수치가 제품 성능뿐 아니라 오류를 판정하는 검토 방식에 따라 크게 달라질 수 있다고 밝혔다.오정민 기자 · 2026. 09. 07.
침해사고·해킹
[속보] 미 법무부, Sality 악성코드 국제 공조 차단 작전 발표
미국 법무부가 Sality 악성코드를 겨냥한 국제 사이버 차단 작전을 발표했다. 법무부 공식 발표를 통해 공개된 이번 조치는 국가 간 공조로 악성코드 인프라에 대응한 사례다.오정민 기자 · 2026. 09. 07.
정부 정책
영국, 공공서비스용 AI 조달에 1억파운드 경쟁 도입
영국 정부가 공공서비스 과제 해결을 위한 1억파운드 규모의 ‘Sovereign AI’ 연구개발 조달 경쟁을 시작했다. NHS 생산성, AI 연산 효율, 국방 환경의 AI 통합, AI 에이전트 보안·회복력 검증이 첫 대상이다.오정민 기자 · 2026. 09. 07.
에이전트·코딩도구