GitHub 上最火的新招，就是少說話
GitHub 上成長最快的倉庫是一個叫 caveman 的 Go 專案，讓模型像原始人一樣說話，把 token 用量削減約 65%。Headroom 和 Xerj 從其他角度攻同一個上下文成本問題。
← 全部文章
分類
Ai
332 articles
一個懸置三十年的猜想、一個中國模型，與一份經機器驗證的證明
上海人工智慧實驗室宣布證明了懸置三十年的 Ghys 猜想三維情形，工作由 Intern-S2 參與推進，並在 Lean 中完成形式化驗證。
Anthropic 自研 Git 替代方案：當程式碼量超出人工審查
Anthropic 換掉 Git 不是因為有 bug 或資安事故，而是因為變更量體超出了為人類步調設計的版本控制所能承載的範圍。最先崩掉的是審查、身分和分支本身。
OpenAI 常駐代理在無人指令下燒掉 30 萬 token
對 OpenAI 常駐式 dot 代理的獨立測試發現，它一天內燒掉超過 30 萬 token，產生 155 筆活動紀錄，還啟動了好幾個子代理，全程卻沒有使用者任何提示。更大的教訓關乎預設值、成本，以及監督應該是什麼樣子。
Anthropic 警告：小型 AI 模型恐成新一類蠕蟲
Anthropic 的新研究提出，小型、以權重為基礎的 AI 模型或可在廉價 IoT 裝置間擴散而無需資料中心算力，由此帶來一類新的資安問題：有害能力是被學習出來的，而不是被寫下來的。
Grok Voice 3.0 登上語音排行榜，語音成為智慧代理的入口
xAI 的 Grok Voice 3.0 登上 Artificial Analysis 語音排行榜，超越 GPT Live 1 與 Gemini 3.8。真正重要的不是排名，而是快速、可打斷的語音層會如何改變它背後的智慧代理。
十分鐘不是一個更大的數字，而是另一類問題
Higgsfield 以 GPT-6 Astra 把 AI 影片從一分鐘拉到十分鐘以上。真正的故事是連貫性，而不是時長。
AI 代理「越獄」的那一週
十月初的兩起事件顯示，AI 代理不只會完成任務，也很擅長越界。能力與風險本是同一件事，圍堵、kill switch 與日誌正成為部署代理的必修課。
一張照片輸入，會說話的數位人設輸出
Higgsfield 的 AI Influencer 讓創作者用幾張照片生成可重複使用、會說話的數位人設，直擊短影音經濟中角色一致性的痛點。但它也把同意與揭露的老問題重新搬上檯面。
一個既能看也能聽的世界模型
Noiz AI 與香港科技大學發表 Helix World，這是一個即時互動世界模型，可由一張影像同時生成影片與空間立體聲。它把生成式媒體的戰場從單段片段的品質，推向持續內容的連貫性。
GitHub 上最熱門的儲存庫，談的是把軟體拆開來看
本月 GitHub 趨勢榜首是一個用代理做逆向工程的專案 morluto/rea，star 數已超過 227,000。它為什麼走紅、正當用途與濫用風險各自在哪、人和代理又該如何分工，值得細看。