跳到正文
10月30日周五
  1. Meta Engineering Blog58

    Meta详细说明“Catching JiTTests”的生产部署,采用人在回路审查

    Meta已将Catching JiTTests——其基于LLM的即时测试生成方法——从研究原型转入生产基础设施,并在FSE 2026论文《Just-in-Time Catching Test Generation at Meta》中公布了结果。该系统利用空闲算力在夜间运行,针对高风险diff,通过dodgy-diff和意图感知工作流生成测试,并在结果送达工程师之前,用LLM-as-Judge集成加上基于规则的RubFake评估器过滤误报。截至撰写时,589名工程师(占触达人数的64%)参与了结果互动,结果显示真阳性率为60%;在2026年上半年,该系统在diff阶段捕获了74个严重隐私缺陷,并将隐私SEV降低了20%。

10月2日周五
  1. Meta AI Research Blog71

    Meta 分享六篇与数学家和 Muse Spark 合著的数学论文

    Meta 发布了六篇数学论文,这些论文由数学家通过常规 meta.ai 聊天界面在 Thinking Mode 下使用 Muse Spark 1.1 和 1.2 协作完成,未使用自定义研究脚手架。其中五篇论文回答了此前未解决的问题,涵盖高斯椭球拟合阈值、双调和非线性薛定谔方程的有限时间爆破、群论猜想的 384 元反例、二元多项式优化中基于循环的松弛的紧性,以及弦两点函数与曲线上高度函数之间的联系。每篇论文都标明了哪些段落主要由研究人员撰写、哪些由 AI 撰写,致谢了先前工作,并承认了其他团队的独立并行解决方案。

    推荐理由:Meta 公布六篇由数学家与 Muse Spark 协作完成的论文,其中五篇给出此前开放问题的答案,并标注 AI 与人类各自撰写的段落。