产业日报 · 2026 年 10 月 15 日 · 星期四
裕瑞产业情报
上海AI实验室用书生-S2人机协同证明三维Ghys猜想
上海人工智能实验室访问学者许地生团队依托书生科学多模态大模型S2，通过人机协同完成困扰数学界30余年的三维Ghys猜想证明，北京大学董彬、刘若川团队用SHEAF框架完成Lean形式化验证。
产品发布/更新
从采集、回放到损伤：X-Spider 如何打通网络仿真测试的完整闭环
X-Spider NT160 单机支持 16 个万兆端口，可在任意端口间构建虚拟链路并独立施加延迟、丢包、乱序等损伤，线速下最大延迟 1 秒 @10G、时间精度 10ns。同一硬件平台还集成多端口线速采集（1ns 时间戳）与 PCAP 流量回放，形成采集—仿真—回放闭环，并支持 Restful API 接入自动化测试流水线。
行业动态
Anthropic Q3 营收跃升至 168 亿美元，美国芯片股跌势加剧
Anthropic 告知潜在投资者其第三季度营收达 168 亿美元，较第二季度的 115 亿美元增长近 46%，并按调整后口径实现盈利。同期费城半导体指数收跌 4.3%，芯片股指数六连跌创 2025 年 5 月以来最长下跌纪录，成分股市值总额料蒸发逾 1 万亿美元。
英伟达公布 DLSS 5 新进展，微软组建 Xbox Labs 探索 AI 游戏改造
英伟达周二宣布 DLSS 5 取得新进展，该版本引入 3D 引导神经渲染技术，用 AI 为游戏场景生成逼真的光照和材质。微软同日宣布组建 Xbox Labs 实验团队，探索 AI 辅助游戏改造，方向包括反编译、重新编译和跨平台运行。国信证券认为 AI 游戏产业正从单点工具提效向生成、分发、研发运营全链条延伸。
信而泰DarSi教学平台如何升级高校网络与安全实训室
信而泰提出用DarSi教学平台升级高校网络与安全实训室，在原有路由交换组网和靶机攻防之上叠加网元、协议、流量仿真与损伤注入，让学生走完“组网+测试+验收+排障”闭环。安全侧可仿真DDoS、病毒、漏洞利用等攻击流量，对防火墙、IPS/IDS、WAF做吞吐量、新建连接、并发连接与防御有效性量化验证。
技巧与观点
IPSec一致性测试：两台设备配置一样，为啥就是连不上？
信而泰以ALPS测试平台为例解析IPSec一致性测试：两台设备即使同样支持AES-256、SHA-512、MODP-4096且配置一致，协商仍可能因SPI格式、消息ID、交换类型等字段差异失败。平台开放IKEv2报文关键字段做单因子变异，内置版本、SPI、Flags等异常用例，并支持HTML、PDF、CSV、XML、XLSX五种报告导出。