오늘의 AI Top 10 뉴스 (2026.09.07)
Claude가 Lean 증명 형식화의 대규모 작업을 수행, AI가 최전선 수학 연구를 보조하는 이정표
대기업 엔지니어링 조직의 에이전트 비용 최적화 실사례 공개
코드 작성 전 결정 사다리를 강제하는 마크다운 스킬. 과장됐던 초기 벤치마크를 실측(코드 54% 감소)으로 직접 정정한 과정도 화제
모델 내부 인지의 이질성을 다룬 공식 에세이, 개발자 커뮤니티에서 대규모 토론
클라우드에서 시작한 작업을 민감 데이터 단계에서 로컬 모델로 내려보내는 혼합 추론. 라우팅을 결정하는 PII 분류기는 오픈소스로 공개
3월 npm 소스맵 유출 코드에 provider shim을 얹어 200개 이상 모델 지원. MIT 주장과 파생물 저작권 사이 법적 논란
16개 TTS·11개 ASR 엔진 통합, 음성 클로닝·더빙·오디오북 지원에 MCP/OpenAI 호환 API까지 얹어 "로컬 음성 플랫폼"으로 확장
첫 네이티브 다변량 시계열 파운데이션 모델. Apache였던 2.5에서 라이선스가 회귀해 "성능 감탄, 라이선스 반발" 구도
20년 크라우드소싱 시대의 마감. 작업자 절반 가까이가 이미 AI로 태스크를 수행하던 상황
인기 에이전트 설정 레포의 위장 클론에서 난독화된 malware dropper 발견, 스킬 공급망 위험이 실증됨