Gemini 4 Carbon全量开放，4周、650万行数学证明验证Signal安全
官方表示，目前从今天起，Gemini 4 Carbon 将通过以下渠道开放:消费者:Google AI Ultra 订阅用户可以通过 Gemini App 和 Google 搜索中的 AI Mode 使用。
AI用四周，给Signal的加密代码写了数学证明
你手机里的加密聊天，用的很可能就是 Signal 协议。但过去二十年，没有人证明过它真正跑起来的那份代码是安全的。学术界验证的，一直是设计图纸。11 月 10 日，谷歌 DeepMind 把这个缺口补上了。
4周顶数年！Gemini 4自动证明Signal协议安全
谷歌 Gemini 4 Carbon 全面开放，其 AlphaProof Code 框架在 4 周内生成了 650 万行 Lean 证明代码，完成了 Signal 加密协议的安全性形式化验证——同样的工作，专家团队通常需要数年。
Vibe-Trading 部署实录：用开源 Agent 做 A 股研究与回测
香港大学团队开源的 Vibe-Trading 已在 GitHub 拿到 3.5 万 star，支持 A 股、港股、美股行情与策略回测。
650万行证明，AI把Signal加密验了个底朝天！
你每天发的每条消息，背后都有一套叫 Signal 的加密协议在站岗。11月10日，Google DeepMind 宣布了一件安全圈等了几十年的事：AI 智能体用数学证明了这套协议的核心代码真的安全。注意，不是“测了几遍没发现问题”，而是从数学上证明——在规定条件下，它不会出问题。
AI写600万行证明，验过Signal加密｜日报11/11
核心主题：办公套件智能体化与商业化变现提速——Anthropic 推出 3 款原生办公应用，OpenAI 上线 ChatGPT 商业智能体，阿里发布 Qwen4 旗舰架构1.
大模型被A股上了一课！EinsiaAI发布Quant Arena，半数大模型亏本
9 个模型中，只有 GPT 系列和 Opus 5.5 最后能够实现盈利，其他一半模型全部亏本。近期，EinsiaAI 旗下 Navers Lab 团队发布 Quant Arena。
刚刚，Gemini 4 Carbon全球全量开放，4周、650万行数学证明验证「Signal安全」
来源：市场资讯（来源：机器之心）机器之心编辑部刚刚，Google DeepMind 宣告 Gemini 4 Carbon 今天正式开放，号称为「Google 目前能力最强的模型」，专门面向复杂、长周期任务，能够投入更多推理资源，深入探索问题，并通过持续的执行、检查和修正，完成软件