2026-08-12
앤스로픽의 미공개 모델이 다수의 서브에이전트를 동원해 리만 가설과 관련된 하한 개선 아이디어를 탐색했고, 사내 수학자들이 Lean 증명 보조기로 결과를 형식 검증했다고 보도됐다. AI가 인간이 검증 가능한 새로운 수학적 성과를 낼 수 있음을 보여주는 사례로, 연구용 자율 에이전트의 잠재력을 가늠하게 한다.
구글의 Gemini 앱이 월간 활성 사용자 10억 명을 넘어섰다고 보도됐다. ChatGPT와 함께 소비자용 AI 어시스턴트 시장의 양강 구도가 뚜렷해졌고, 이미지 생성과 음성 사용 등 AI 사용 습관이 대규모 플랫폼 안에서 빠르게 확산되고 있음을 보여준다.
Stratom이 ND Defense, Forterra, GS Engineering, Waltonen과 함께 미 육군의 자율 보급 시스템 TALUS 프로토타입을 개발한다. 전방 보급망에 자율주행 차량을 투입하려는 사업으로, 군용 물류 자동화가 실증을 넘어 조달 단계로 이동하고 있음을 보여준다.
PACCAR 계열 DAF Trucks가 Einride의 자율주행 시스템 Einride Driver를 트럭 플랫폼에 통합하기로 했다. 2026년 인터페이스 검증과 2027년 소프트웨어 통합·시운전을 목표로 하며, 레벨4 전기 화물 운송 상용화 경쟁이 더 넓어지고 있다.
메타가 소비자 PC에서도 오프라인으로 도구 호출, 코드 작성, 파일 처리 같은 작업을 수행하도록 설계된 Glimmer 모델을 공개했다고 보도됐다. 개인 데이터를 클라우드로 보내지 않는 로컬 AI 에이전트 전략을 보여주는 움직임으로, 개방형 모델 생태계의 활용 범위를 넓힐 수 있다.
Cambridge Aerospace가 DFJ Growth 주도의 시리즈 C에서 3억 달러를 조달해 기업가치 34억 달러를 인정받았다고 보도됐다. 고속 드론 요격체와 빠른 개발 주기로 방산 드론 시장의 투자 열기가 계속되고 있음을 보여준다.
PlusAI가 텍사스 I-35 구간과 스페인에서 자율주행 트럭 실증을 확대하며 자율주행 마일 비율과 안전 케이스 준비도 등 구체적 지표를 공개했다. 무인 트럭 상용화를 앞둔 기업들이 실제 운행 데이터를 통해 신뢰성을 입증하려는 단계로 넘어가고 있음을 보여준다.
IEEE Spectrum은 독일 KIT 연구진이 CAD 모델과 실제 관찰을 결합해 고장 난 기계에서 부품을 회수하는 자율 분해 로봇을 개발했다고 전했다. 조립보다 예측하기 어려운 분해 작업을 로봇이 수행한다는 점에서, 순환경제와 로봇 자동화가 만나는 중요한 연구 흐름이다.