2026年10月28日 OpenAI 那份反证指数时间假设的论文被 Anthropic 做成 Lean 4 形式化（论文署名 Claude，发现者是内部研究模型），同一天 Python 指导委员会确认 3.13 引入的实验性 JIT 退出主干，Tailscale SSH 承认存在权限提升类漏洞 ETH指数时间假设3-SATk-CNF
2026年10月1日 Gemini 4 Argon 每百万 token $2/$10 却先只发给网络安全防御方；EDG 把三十年商业授权的 C++ 前端开源；Netlify 拆掉 V8 isolate 换 Firecracker 换来 5 倍 Gemini 4 ArgonGoogle DeepMindFairwind预发布评审
