AI × Networking Daily.

2026-07-29 版 · taolab.dev · 归档

Let AI Agents Translate Networks, Not Reason About Them

arXiv cs.NI

论文主张让AI代理充当网络与形式化模型之间的翻译者而非直接推理者。原因是手工编写可验证的网络形式模型需要稀缺专业知识,且难以随网络变化持续维护。

Invariant Discovery for Networked Systems

arXiv cs.NI

论文提出自动发现网络系统不变量的新方法,替代传统依赖专家手工编写验证规则的方式。可应用于故障验证、流量生成和遥测数据补全等多种网络场景。

moonshotai/Kimi-K3

Simon Willison

月之暗面发布Kimi K3模型权重,参数规模达2.8万亿,Hugging Face上模型文件高达1.56TB。该模型延续了K2时期自定义的MIT修改版许可证。

Impostor Chinese models pretend they're Claude

The Register (Networks)

研究人员发现智谱GLM和月之暗面Kimi等中国大模型在特定提示下会'冒充'Claude身份作答。但现有证据尚不足以证明这构成模型蒸馏行为。