AI·로보틱스 데일리

2026-07-11

#1 · Mistral AI미스트랄, Lean 4 특화 오픈 모델 ‘Leanstral 1.5’ 공개

미스트랄 AI가 정리 증명과 코드 검증에 초점을 맞춘 Leanstral 1.5를 공개했다. 수학·소프트웨어 검증처럼 정확성이 중요한 영역에서 오픈 모델 기반의 전문 AI 활용을 넓히는 소식이다.

AI모델오픈소스정리증명
#2 · MIT NewsMIT, 스스로 떠다니며 구조물을 조립하는 초소형 로봇 보트 공개

MIT 연구진이 여러 대의 작은 로봇 보트가 물 위에서 결합해 떠 있는 구조물을 만드는 시스템을 선보였다. 수상 인프라, 임시 플랫폼, 재난 대응 구조물 등으로 확장될 수 있어 군집 로보틱스의 실용 가능성을 보여준다.

군집로봇해양로봇MIT
#4 · Nippon.com미쓰비시자동차, 교토 공장에서 휴머노이드 로봇 양산 추진

미쓰비시자동차가 교토 공장에서 휴머노이드 로봇 생산에 나선다고 보도됐다. 자동차 제조 기반을 로봇 양산에 활용하는 사례로, 휴머노이드 상용화의 공급망·생산능력 경쟁이 본격화하고 있음을 보여준다.

휴머노이드제조일본
#5 · Northwestern University노스웨스턴대, ‘소뇌’처럼 이상 상황에만 작동하는 저전력 AI 장치 개발

노스웨스턴대 연구진은 평소에는 에너지를 거의 쓰지 않다가 이상 신호가 감지될 때만 활성화되는 AI 하드웨어 접근을 소개했다. 웨어러블과 로봇처럼 배터리 제약이 큰 장치에서 항상 켜진 지능을 구현할 가능성을 높인다.

AI하드웨어저전력뉴로모픽
#6 · Carnegie Mellon UniversityCMU, 서로 다른 로봇 사이에서 AI를 옮기는 오픈 인터페이스 연구 발표

카네기멜런대 연구진이 로봇 간 AI 이전을 쉽게 하는 벤더 중립형 인프라를 공개했다. 로봇마다 달라지는 하드웨어·소프트웨어 설정 비용을 줄이면 범용 로봇 학습과 배포 속도를 높일 수 있다.

로봇학습오픈소스범용로봇
#7 · IBMIBM, 메인프레임 개발용 에이전트 AI 플랫폼 ‘Bob for Z’ 발표

IBM은 메인프레임 환경을 겨냥한 에이전트형 개발 플랫폼 Bob for Z를 발표했다. 레거시 핵심 시스템에도 멀티에이전트 개발 자동화가 확산되고 있음을 보여주는 엔터프라이즈 AI 소식이다.

에이전트AI개발도구엔터프라이즈
#8 · Defense News우크라이나 지상 로봇 업체, 생산 두 배 확대와 해외 합작 추진

Defense News는 우크라이나 지상 무인로봇 제조사가 생산량을 두 배로 늘리고 해외 파트너와의 합작을 모색하고 있다고 전했다. 전장 물류·정찰·위험 임무에서 지상 로봇 수요가 빠르게 커지고 있음을 보여준다.

국방로봇UGV우크라이나
#9 · CursorCursor, 코딩 에이전트용 ‘Grok 4.5’ 통합 발표

Cursor가 xAI의 Grok 4.5를 자사 AI 코드 편집기에 통합한다고 밝혔다. 개발자 도구 시장에서 고성능 코딩 모델을 둘러싼 경쟁이 계속 심화되고 있다.

코딩AI개발도구Grok
#10 · GasgooInsta360, 11주년 행사에서 로보틱스 분야 진출 선언

카메라·영상 기술 기업 Insta360이 창립 11주년을 맞아 로보틱스 분야 진출을 발표했다. 시각 센서와 영상 처리 역량을 보유한 소비자 전자 기업들이 로봇 시장으로 확장하는 흐름을 보여준다.

소비자로봇컴퓨터비전Insta360