커뮤니티국내GeekNews
AlphaProof Code - Signal 암호화 구현을 기계어 수준에서 형식 검증
Google DeepMind가 인간 전문가와 AI 에이전트를 결합한 AlphaProof Code로 Signal 프로토콜의 실제 코드가 지정된 핵심 보안 속성을 충족함을 수학적으로 증명함 Signal 프로토콜의 참조 구현인 libsignal을 AArch64 Linux 기계어로 컴파일해…
실시간
국내외 뉴스 · 기업 공식 발표 · 논문 · 영상 · 커뮤니티 소식을 한국시간 기준으로 제공합니다. 같은 소식은 하나로 묶고, 기본은 핵심만 보여 드립니다.
모든 수집 소식(구글 뉴스로 들어온 단건 보도 포함).
Google DeepMind가 인간 전문가와 AI 에이전트를 결합한 AlphaProof Code로 Signal 프로토콜의 실제 코드가 지정된 핵심 보안 속성을 충족함을 수학적으로 증명함 Signal 프로토콜의 참조 구현인 libsignal을 AArch64 Linux 기계어로 컴파일해…
Agentree Launches AI Studio, an All-in-One AI Suite for Real Estate Agents
다른 보도 EIN News
다른 보도 코스모닝
Commvault launches AI agent recovery tools for enterprise systems
다른 보도 StreetInsider
Adobe’s Creative Agent Wants To Do the Photo and Video Editing Tasks You Don’t Want To
Adobe는 Adobe MAX에서 Adobe Creative Agent의 확장을 발표했다. 사용자는 Firefly AI 등을 포함한 영역에서 텍스트로 명령을 내릴 수 있다.
[지디넷코리아]윈도와 맥OS가 주도하는 PC 운영체제 시장에 AI 에이전트를 염두에 두고 설계된 새 운영체제 '코라(KORA)'가 도전장을 내밀었다. 개발사인 코라시스템즈가 10일(현지시간) 이와 같이 밝히고 내년 중 정식 출시하겠다고 밝혔다.
After challenging Google’s Android with Cyanogen, its co-founder takes aim at Windows for AI era
AI 모델과 에이전트를 적극 활용하는 사용자를 겨냥해 Windows의 무료 대체재인 Kora를 출시할 예정이다.
Adobe is going all in on agentic AI
Adobe는 챗봇과 AI 에이전트가 디자인 보조 역할을 하거나 반복 작업 및 크리에이티브 워크플로를 자동화할 수 있다는 개념에 주력하고 있다.
Google testing Agent Swarm mode for Antigravity
Google이 공유 보드와 대시보드로 여러 에이전트를 제어하는 Antigravity용 Swarm 명령어를 개발 중이다.
레비오사에이아이가 서울대학교 앵커사업단 캠퍼스타운사업팀의 '2026 SNU AI Capstone Challenge' 참여기업으로 선정돼 서울대 학부·대학원생과 AI 기술 고도화 프로젝트를 진행한다. 레비오사의 'Yomates'는 사용자의 자연어 요청에 따라 AI 에이전...
다른 보도 AI타임스
Introducing AlphaProof Code: a breakthrough in verifying complex software at depth
AlphaProof Code 에이전트는 Signal의 핵심 암호화 검증을 위해 Lean으로 300만 줄의 증명을 작성했다.
구글 클라우드가 AI 에이전트 운영에 특화된 8세대 TPU 시스템 'TPU 8tx'와 'TPU 8i 맥스'를 공개했다. TPU 8tx는 하드웨어 기반 데이터 보호 기술을 적용해 민감한 정보를 활용하는 AI 모델의 추론과 학습을 지원하며, TPU 8i 맥스는 기존 TPU...
#Google · 구글#AI 에이전트#AI 반도체 · GPU
다른 보도 전자신문
시스코가 AI 에이전트의 보안 검증과 운영 관리를 강화하기 위해 AI 디펜스, 스플렁크 에이전트 옵저버빌리티, 시스코 IQ의 신규 기능을 공개했다. AI 디펜스에는 앤트로픽의 클로드 미토스를 도입해 승인된 시스템을 대상으로 다단계 공격 시뮬레이션과 반복적인 보안 테스트...
이제는 비개발 직군도 직접 Git 저장소를 만들고 웹페이지를 배포하며 데이터를 가공합니다. 이 저장소를 개인 계정에 만들어도 되는지, AI가 만든 페이지를 바로 외부에 공개해도 되는지, 업무 파일이 섞인 폴더에서 에이전트를 돌려도 되는지는 기존 계정 관리나 문서 공유 기준만으로 답하기…
AI 에이전트가 정부 시스템에 무단 접근한 사건을 계기로 호주가 AI 기업의 사고 신고를 의무화하고 독립적인 안전 규제기관을 신설하기로 했다.
앤트로픽이 복잡한 소프트웨어 개발부터 과학 연구, 로봇 제어까지 고난도 기술 작업을 수행하는 AI 모델을 선보였다. AI 에이전트 여러 개를 동시에 운용해 장시간 프로젝트를 처리하고, 수학적 증명과 하드웨어 설계까지 수행하는 등 기존 언어모델의 활용 범위를 확장하는 데 초점을 맞췄다.
“메타 슈퍼인텔리전스 연구소가 100만 토큰 컨텍스트와 강력한 멀티모달 능력을 갖추고도 하이쿠 5.5의 3분의 1 비용으로 구동되는 경량 AI 에이전트 '뮤즈 엠버'를 공개하고, '원더-엠버' 투트랙 전략으로 실무 자동화 시장 공략에 나섰습니다.” AI포스트 핵심 요약 [파격적인 가격…
다른 보도 지디넷코리아
다른 보도 매일경제
[지디넷코리아][텔아비브(이스라엘)=박광하 기자] 이스라엘 사이버보안 당국이 9일(현지시간) 인공지능(AI) 에이전트에 사용자와 같은 권한을 주는 관행을 새로운 보안 위협으로 지목했다. 명령 서버 없이 스스로 움직이는 AI 공격과 협력하는 에이전트 군집은 식별이 더 어렵다고 설명했다.
“냉전 시대 수준에 머물러 있던 하드웨어 R&D 현장의 데이터 파편화와 테스트 보틀넥을 해결하기 위해, 노미널이 데이터 레이크하우스 구축 및 AI 에이전트 도입을 앞세워 시리즈 C에서 30억 달러의 기업 가치를 인정받았습니다.” AI포스트 핵심 요약 [방산 베테랑의 30억 달러 도약]…
인공지능이 산업용 로봇의 움직임을 제어하는 수준을 넘어, 로봇 제어 프로그램을 직접 작성하고 시뮬레이션에서 오류를 찾아 수정하는 단계로 진화하고 있다.
가상자산을 바라보는 사회적 인식이 투자와 투기의 영역에서 벗어나 미래 경제의 핵심 인프라로 확장되고 있다는 주장이 나왔다. 스테이블코인과 AI 에이전트 기술이 결합하면서 디지털자산이 AI 간 자율적인 경제활동을 가능하게 하는 새로운 결제수단으로 주목받으면서 인식이 변화하고 있다는…
TI redefines embedded development with agentic AI in its CCStudio™ ecosystem, empowering engineers to accelerate innovation