4 周写完 650 万行数学证明：DeepMind 用 AI 智能体蜂群验证 Signal 协议，形式化验证被彻底改写

掘金2026-11-13 11:200 次浏览

4 周写完 650 万行数学证明：DeepMind 用 AI 智能体蜂群验证 Signal 协议，形式化验证被彻底改写 11 月 11 日，Google DeepMind 在开放 Gemini 4 C

截至2026年11月13日午间收盘，创业板算力基础设施指数(970083)成份股方面涨跌互现，弘信电子上涨5.99%；前十大权重股合计占比44.15%，其中权重股软通动力领涨7.85%，景嘉微上涨4.31%。

截至11月13日上午收盘，农牧ETF南方（159173）盘中换手7.35%，成交293.36万元，跟踪中证全指农牧渔指数（930910）一度涨超2.07%，现涨1.84%。

11月13日，美伊地缘局势再度升温，霍尔木兹海峡又传爆炸声，国际油价回升！截至11:01，“仅含24只煤油股”的能源ETF汇添富（159930）标的指数——中证能源指数涨超1%！

康希通信（688653）通过子公司知融科技布局Ku/Ka频段硅基T/R芯片，Ku产品已定型量产，Ka方案获设备商认可，主攻地面终端低成本规模化应用。

11月13日，A股市场震荡上行，沪指微涨0.2%，物理AI概念回暖，机器人ETF汇添富（159213）标的指数红盘震荡，涨0.71%，一度涨超1%。

算力、半导体盘中活跃，消息面上，中芯国际联合CEO赵海军在三季度业绩会上分析，展望可预见的未来，行业确定性主要体现在两方面。

相关文章