Nov 15, 2026科技新鮮事🎙️ DeepMind 讓 AI 寫 600 萬行數學證明、Nvidia 豪賭 Anthropic 一百億美元|AI 日報 PodcastGoogle DeepMind 派出 80 個 AI 代理人,四週寫出超過 600 萬行 Lean 程式碼,把 Signal 的加密演算法從機器碼層級「數學證明」一遍,連工程師偷塞的舊漏洞都被抓出來。
Nov 15, 2026開源好物日報🛠️ bo2-mac 把 32 位元 Windows 遊戲編譯成 ARM64 原生碼,M1 跑 60 FPS |開源好物日報Hacker News 150 分、67 則討論,有人真的把《黑色行動 II》三支 32 位元 Windows 執行檔靜態重編譯成 ARM64 原生碼,M1 實測 51 到 60 FPS,完全沒用 Wine、Rosetta 2、JIT;等一下告訴你它怎麼把複製保護機制丟給 Unicorn 解譯器逐指令跑,還有用 190 行純 JAX 完整實作 DeepSeek-V3 架構的教學級專案。
解決的問題讓客服、行銷與內部助理能採用不同角色、知識來源與對話策略,並保有一致的管理入口。實作方向01把 Agent 角色、知識來源與對話策略拆開管理。02以單一入口處理訊息收發與流程調度。03保留系統行為與回應脈絡,方便後續優化。