跳至正文
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 與人類各自撰寫的段落。