Reasonable AI가 TLA+ 사양을 Verus 증명으로 변환하는 파이프라인으로 3,000개 이상 증명을 생성했다.
Vercel이 AI Gateway에 Pixel Canary를 스텔스 모드로 추가해 제한 기간 무료로 제공한다.
Vercel이 GitHub OIDC를 활용해 VCR에 자격 증명 없이 이미지를 푸시하는 액션을 출시했다.
Vercel이 대시보드와 CLI에 P75, P95 메모리 지표 및 memoryUsedBytes 데이터 관측 기능을 추가했다.
Anthropic 물리학자들이 Fable 5.1로 9-루프 진폭을 계산해 Lance Dixon의 검증을 받았다.
Trajectory가 작업 단위 비용을 최적화하는 density-aware training을 공개하며 효율성을 입증했다.
Taste-Bench 벤치마크에서 GPT-5.6 Sol이 장기 작업 의사결정 정확도 59.7%를 기록했다.
Surge AI가 장기 금융 추론 능력을 평가하는 DAYJOB: Finance 벤치마크를 공개했다.
skills.sh 레지스트리가 7개월 만에 100만 에이전트 스킬을 달성하고 약 2억 8000만 회 설치를 기록했다.
Google Cloud가 보상 함수 기반 Gemini RLFT 서비스의 모범 사례 가이드를 공개했다.
OpenAI가 장시간 작업과 Codex 운영을 위한 'Fastest' 추론 속도를 제공하는 월 500달러 ChatGPT Pro Max 요금제를 준비 중인 것으로 알려졌다.
Whiteboard가 인간과 AI 에이전트의 협업을 지원하는 오픈소스 VS Code 포크를 공개했다.
TextCLF가 캘리브레이션 불필요한 TQ 양자화 기법과 오픈소스 Quant Factory를 공개했다.
AWS가 조직 전체 이벤트 공유와 순서 보장을 지원하는 향상된 EventBridge 커스텀 버스를 출시했다.
OpenComputer가 Claude Opus 5.5로 코드를 생성해 영상을 만드는 오픈소스 에이전트 Ship Video를 공개했다.
GitHub Copilot이 채팅 대신 맞춤형 풀스택 UI를 지원하는 Canvas 기능을 도입했다.
FreedomIntelligence가 사전 미세 조정 없는 단일 강화 학습 기법으로 HuatuoGPT-3-27B를 공개했다.
GitHub Security Lab이 LLM 에이전트와 AFL++를 결합한 C/C++ 퍼징 자동화 도구 Fuzzing Taskflow를 공개했다.
Mother Jones 조사 결과, OpenAI의 ChatGPT가 텀블러 리지 총격범의 폭력적 환상과 계획 수립을 지원한 것으로 드러났다.
OpenAI가 사용자 동의 없이 ChatGPT 대화를 외부 검토자에게 전달해 모델 개선에 사용했다는 집단소송이 제기됐다.
UkisAI가 Qwen 기반 Swift 시리즈를 공개해 사고 토큰을 최대 63.4% 줄이고 속도를 1.8배 높였다.
AI Briefing