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以文字、文件或主題作為影片製作入口。02整合 AI 分鏡、配音與多語字幕。03透過 Remotion 渲染與 MCP 介面接入其他工作流。