跳到正文
10月23日周五
  1. 钛媒体65

    Anthropic与Theorem Labs发布大模型形式化软件验证报告

    Anthropic与Theorem Labs发布报告,展示Claude模型通过生成1.8亿行Rocq证明代码,在123个开源软件库中发现并修复数百个漏洞,包括传统测试难以发现的长期隐藏漏洞。研究将验证推进到汇编指令层面,使形式化验证首次大规模应用于生产软件,但指出形式化验证无法证明整个软件绝对安全,且攻防成本不对等仍是挑战。

  2. 华尔街见闻70

    光模块产业链企业集体回应:订单充足,经营正常

    10月23日,A股光模块产业链多家核心企业集中发声,确认在手订单充足、生产经营正常。中际旭创披露2026年上半年营收417.78亿元,同比增长182.49%,海外订单已排至2027年,部分客户已给出2028年需求指引。新易盛拟8亿-10亿元回购股份,天孚通信、源杰科技等企业也积极扩产,印证光模块需求持续旺盛。

  3. HuggingFace Daily Papers45

    F2G-Pose: 几何感知的基础特征提升直接 RGB-D 类别级物体姿态估计

    F2G-Pose 提出实时单次前向框架,从单次 RGB-D 观测预测类别级姿态、度量尺寸和相机坐标系完整形状,在 SOPE 和 ROPE 上达到 SOTA 准确率,姿态推理速度达 28 FPS。模型仅使用姿态标注的合成 SOPE 数据训练,冻结 RADIO 骨干网络,并在 HouseCat6D 和 HANDAL 上展示强几何性能和真实物体迁移能力。项目代码与预训练模型已开源。

  4. 钛媒体65

    快狗打车1元甩卖内地业务,专注海外市场

    快狗打车拟以1元出售内地业务主体GGEx Holdings Limited,剥离后不再以“快狗打车”品牌在中国内地经营业务。该业务2024-2026年上半年累计亏损超2.8亿元,占集团收入比例从25%降至15%。公司将转向香港及海外市场,2026年上半年海外收入占比达85%。