지키는 쪽에 선 AI

방어(Defense)·레드팀(Red Team)·특수(Specialized) 3단계로 나눴고, 등급마다 열어 주는 사이버 능력과 보안 요건이 달라요.

OpenAI는 논문과 함께 Lean으로 형식화한 증명을 공개했다고 밝혔어요. 형식화하면 컴퓨터가 증명을 한 줄씩 따라갈 수 있어요. 다만 해법이라는 것은 회사의 주장이에요.

EmbeddingGemma 2는 7억4천만 파라미터의 오픈 모델로, 휴대폰 같은 기기에서도 돌 수 있게 작게 만들었어요.

EU AI법 요건에 맞춰 EU에서만 먼저 시작하고, 전 세계 기본값으로는 켜지 않는다고 밝혔어요.

Anthropic은 3년간 1억5천만 달러를 약정하고 NASA·NIH·NSF 등 참여 기관 15곳 이상에 Claude를 넓히겠다고 했어요.

Muse Spark Open은 총 8,160억·활성 420억 파라미터에 컨텍스트 100만 토큰인 모델이에요. Meta는 미국 오픈웨이트 모델 중 가장 강하다고 자사 주장했어요.

Cortex-M55 칩 한 개에서 4개 모델이 각각 21.5ms 이하, RAM 90KiB 미만으로 돌았다고 해요. 팀이 직접 잰 값이고 공식 MLPerf 제출 결과는 아니에요.

탁자 사진 한 장으로 시뮬레이션 쌍둥이를 만들고 4,500개 이상 연습 기록을 모아 성공률을 56%에서 75%로 올렸다고 Google이 자사 발표했어요.

Harness²는 모델이 아니라 에이전트가 일하는 틀인 하네스를 과제마다 고치고, 그 경험을 다음 과제용으로 쌓는 방법이에요.

OpenAI는 ChatGPT를 매주 12억 명 넘게 쓴다고 밝혔고, 이 기본 대화에 GPT-6과 Intelligent UI를 넣었어요.