ZD Tech 工作室

1. OpenBMB 推出 MathForm：Lean 4 数学自动形式化

开源框架、数据集与模型三件套，FormalVerse 数据集含 36.7 万+ 已验证示例，匹配 100K 预算下 Consistency Check 达 60.32%。

2. DeepSeek-V4-Flash-Vision-Exp 发布

实验性多模态视觉理解模型上线 API 平台，设置 model='deepseek-v4-flash-vision-exp' 即可访问。

3. SGLang Weight Cache Daemon 实现亚秒级引擎重启

通过 CUDA IPC 零拷贝映射将权重加载从约 495 秒降至约 0.63 秒，端到端启动时间减少 93.9%，支持多实例共享与亚秒级主备切换。

4. Claude Mythos 5 网络安全能力扩展至更多防御者

现已集成至 Claude Security 并即将登陆合作伙伴防御工具，同时推出 3500 万美元 Defender Advantage Fund，资助开源漏洞修复与安全自动化。

1. 购票后未上车视为放弃席位使用权

西南铁路就「买票占座放零食」说明：未检票乘车视为放弃本次列车席位使用权，第三方也不得占用处置，并就服务不到位致歉。

2. 鸭货卖不动了

周黑鸭增收不增利，绝味营收净利双降，煌上煌鲜货收入两位数下滑，鸭货赛道集体步入存量博弈调整期。

3. 手机出现这行字 存款正被转走

广州林女士手机弹出「系统正在对接服务中心」，700 万元存款面临被转走；警方火速断网、拔卡、挂失，成功保住全部存款。

4. 这些美女帅哥竟然是机器人

2026 世界机器人大会上众多高颜值仿生机器人亮相，主要应用于家庭陪伴、公司前台等场景。