面壁智能 OpenBMB 推出 MathForm，面向 Lean 4 數學自動形式化的開源框架、數據集與模型

阿里發佈 Qwen-UI-Agent，主打讓模型真正“會用”每一塊屏幕

Liquid AI 發佈 LFM2.5 系列 QAD Q4_0 量化檢查點，恢復 97% 精度損失

Sentence Transformers v6.0 新增 MultiVectorEncoder，支持 ColBERT 風格多向量模型

Cursor 推出 Origin 代碼託管服務，作為 GitHub 的替代方案

Qwen 3.8 27B 表現出色，但默認推理強度過高導致過度思考

AI生成書籍正淹沒亞馬遜，並拉低人類作者的單書收入

dots3-note Preview 開源：280B 參數輕量模型，主打長程智能體與多模態推理

小紅書開源連續自迴歸語音合成模型 dots.tts：打造可持續擴展的 TTS 基座

xAI 發佈 Grok 4.6，強化長時運行智能體能力