가격 3건·신모델 3건·벤치 1건·규제 5건·펀딩 1건

Mistral AI, 수학 증명 특화 오픈소스 모델 'Leanstral 1.5' 공개

Mistral Small 4 계열 기반의 수학 증명·코드 검증 특화 오픈소스 모델. 증명 보조 시스템 'Lean 4'에 최적화된 AI 코드 에이전트로, Putnam Bench에서 역대 최고 성적을 기록했다.

▸ 수학·코드 검증 용도로 평가 검토 권장

GLM 5.2, 입·출력 토큰 가격 각각 약 17~19% 인하

Z.ai의 GLM 5.2 가격이 인하됐다. 프롬프트: $0.93 → $0.77/1M 토큰(-17.2%), 완성: $3.00 → $2.42/1M 토큰(-19.33%). 컨텍스트 길이 1M 토큰은 유지.

▸ GLM 5.2 사용 중이라면 비용 계획 재산정 권장

바이트댄스 Seed AI, 에이전트 대상 새 스케일링 법칙과 오픈소스 벤치마크 'EdgeBench' 공개

실행 환경 피드백 기반 AI 에이전트의 학습 효율이 3개월마다 2배씩 상승한다는 새 스케일링 법칙을 제시했다. 최대 72시간 고난도 과제를 측정하는 오픈소스 벤치마크 'EdgeBench'도 함께 공개됐다.

▸ 장시간 에이전트 태스크 평가 시 EdgeBench 확인 권장

트럼프 대통령, AI 규제 '최소 개입' 방침 재확인

트럼프 대통령이 CNBC 인터뷰에서 'AI 가드레일은 필요하지만 개입은 최소화하겠다'고 밝혔다. 중국과의 개발 경쟁에서 '대폭 앞서 있다'고 강조했다.

Kling AI, 알리바바·텐센트 등으로부터 $28억 조달…기업 가치 $180억 인정

콰이쇼우의 영상 생성 서비스 Kling AI가 알리바바·텐센트·바이두 등으로부터 $28억 투자 유치를 발표했다. 기업 가치 $180억을 인정받았으며, $30억까지 추가 조달 가능성도 밝혔다. 홍콩 증시 상장도 추진할 예정이다.