標籤 llm

Worktrunk：同時開 10 個 AI agent 寫程式之前，先解決 git 打架問題

Rust 寫的 git worktree 管理 CLI，三指令＋hooks＋LLM commit，讓平行 AI agent 各自獨立工作。7,234 stars，每週發版，brew 一裝即用。

LLM 數學能力突飛猛進，但以解題為唯一評估指標正傷害數學社群。本文翻譯 Math and AI 宣言：要求 AI 證明可驗證、可理解、正確歸屬，並以人類解說與教育將其轉化為真正的數學進步。

Anthropic 威脅情報團隊過去八個月偵測阻止的 AI 濫用案例：涵蓋網路作戰、影響作戰、監控、詐騙、生物濫用、武器開發與蒸餾七大領域，兼談對策與展望。

Meta AI 助理 Muse 美國 iOS 下載破 83,000 次，衝上 App Store 第二名；對照 Threads 上市首日 430 萬次，開局只能算溫吞。整理下載數字、競爭格局與兩個變數。

一天漲 3,882 顆星的怪專案：不做新模型，只叫你的 coding agent 閉嘴說重點。十條輸出規則加退場機制，可直接貼進 Hermes 設定檔。

Anthropic 預訓練研究員 Jacob Coxon 請辭，貼文瀏覽破一億。他接受 WIRED 訪談，談 Hugging Face 攻擊、對齊為什麼還沒解，以及為什麼他認為私人公司不該被信任來跑這場競賽。

6661943.xyz 上的 deepchat 已經改名 deepwork：芋道系企業大模型應用平台雛形，三十多家模型供應商，三十三顆星。現階段就是個起點，這篇記錄研究過程與追蹤點。

DeepSeek V4.1 Flash 限時內測登場：新架構、原生多模態，官方稱全面超越 V4 Pro。整理已知資訊、價格調動與 Reddit 第一手實測反應。

讀 Anthropic 經濟情境報告：總量一定變大，但越極端，知識工作者越慘。附我的看法。

OpenAI 說內部模型解出了 Navier-Stokes existence and smoothness，Buckmaster 隨即公開聲明指控時序可疑、還被要求拔掉任職 Anthropic 的共同作者。我把 HN 上兩篇合計 1400 多則留言的爭點整理成一篇。