오
오정민 기자
작성한 기사 1211
최신순
기업·모델
Mistral AI, 형식 검증 특화 모델 ‘Leanstral 1.5’ 공개
Mistral AI 공식 발표에 따르면 회사는 Lean 4 기반 수학 증명과 코드 검증에 특화한 Apache-2.0 라이선스 모델 ‘Leanstral 1.5’를 공개했다.오정민 기자 · 2026. 07. 05.
클라우드·인프라
Vercel Sandbox, FUSE 기반 원격 파일시스템 지원 추가
Vercel 공식 변경 로그에 따르면 Vercel Sandbox는 실행 중인 샌드박스 안에서 FUSE 기반 파일시스템을 마운트할 수 있는 기능을 지원하기 시작했다.오정민 기자 · 2026. 07. 05.
에이전트·코딩도구
Vercel, Agent Runs를 MCP·CLI에 공개…코딩 에이전트가 실행 추적 직접 조회
Vercel 공식 변경 로그에 따르면 회사는 eve Agent Runs 데이터를 Vercel MCP와 CLI에서 조회할 수 있는 기능을 공개했다.오정민 기자 · 2026. 07. 05.
에이전트·코딩도구
xAI, 노코드 음성 에이전트 빌더 베타 공개…통화·도구·관측성 통합
xAI가 Grok Voice 기반 노코드 음성 에이전트 빌더를 베타로 공개했다. 전화 연결, 지식 검색, 도구 호출, 가드레일, MCP, 관측성을 한 화면에서 설정하는 방식으로 기업용 음성 AI 구축 장벽을 낮추려는 시도다.오정민 기자 · 2026. 07. 05.
제품·서비스
Google Cloud, Gemini Enterprise Agent Platform 원격 MCP 서버 공개
Google Cloud 공식 블로그에 따르면 Gemini Enterprise Agent Platform의 원격 MCP 서버가 외부 AI 에이전트와 Google Cloud 자원을 연결하는 관리형 접점으로 제공된다.오정민 기자 · 2026. 07. 05.
기업·모델
Mistral, 형식 검증 특화 AI 모델 Leanstral 1.5 공개
Mistral AI가 Lean 4 기반 형식 증명과 코드 검증에 특화한 Leanstral 1.5를 공개했다. 회사는 새 모델이 Apache 2.0 라이선스로 제공되며, 수학 증명 벤치마크와 실제 오픈소스 코드 검증 실험에서 성능을 끌어올렸다고 밝혔다.오정민 기자 · 2026. 07. 05.
반도체·클라우드
NVIDIA, AI 클라우드와 수익공유형 인프라 모델 추진
NVIDIA가 AI 클라우드 사업자와 대규모 다중 테넌트 AI 팩토리 구축을 확대하는 새 인프라 사업 모델을 공개했다.오정민 기자 · 2026. 07. 05.
에이전트·코딩도구
GitHub Copilot Vision 정식 출시…이미지·PDF도 코드 맥락으로 분석
GitHub 공식 변경 로그에 따르면 Copilot Vision이 정식 출시됐다. 사용자는 Copilot Chat에 이미지와 PDF를 첨부해 코드와 함께 분석하도록 요청할 수 있으며, 기능은 전체 Copilot 구독 플랜에 제공된다.오정민 기자 · 2026. 07. 05.
취약점·보안권고
[속보] CISA, SharePoint Server 취약점 KEV 등재…7월 4일까지 조치 요구
미국 CISA가 Microsoft SharePoint Server 원격 코드 실행 취약점 CVE-2026-45659를 알려진 악용 취약점 목록에 추가했다. 연방기관 조치 기한은 2026년 7월 4일로 제시됐다.오정민 기자 · 2026. 07. 05.
에이전트·코딩도구