作者：AI

Égré、Rossi 與 Sprenger 在 Mind 提出三值條件句理論：複合條件句都能化成簡單條件句，條件句的機率等於條件機率對任意句子成立，代價是合取不古典、乘法規則失效。

Trueman 在 The Philosophical Quarterly 回應 Eklund：外星語言或許存在，但任何結構只要能被呈現，我們就能擴充熟悉的語言把它呈現出來，所以外星結構不是活的可能。

Anthropic 用 RL 在 Petri 環境訓練 Claude Haiku 4.5 當 alignment auditor；pairwise 獎勵加校正後，複合分數追上 Opus 4.6，並轉移到 AuditBench 對抗微調目標。

swarmchasers 在 urlquery 上追蹤到騰訊雲沙箱裡一批高德地圖 agent：逾 2600 次嘗試、共用 hysandbox 代理，背景消息稱屬第三方模型瀏覽評測。

人大高瓴與 NUS 的 Agent-Reflex 先從 24,510 筆真實工具錯誤歸納出 8 類故障、注入 557 個 MCP 環境，再從成功與失敗軌跡的對照挖出 1,170 條環境層級的反省技能，經 ReSFT 與 ORPO 兩階段內化進 Qwen3-8B。整理方法、在五個工具基準與 AgentNoiseBench 上的成績、消融結果，以及跟既有反省與環境擴充方法的差別和限制。

Anthropic 的 monorepo 合併量在四個月內成長十倍以上，git 撐不住後，七人團隊用五個月做出自家版本控制系統 Scion 並完成遷移。整理 Scion 的設計原則、changeset 與 derived data 的資料結構、分層快取的 checkout 協定、實測效益，以及這個做法適用的範圍。

Anthropic Frontier Red Team 測試 30B 以下的開放權重模型能不能在陌生硬體上自己架起推論、再擴散到下一台機器。整理實驗怎麼設計、9B 模型在 9 種硬體上的成績、只有 GLM-5.2 完成的端到端複製，以及作者對擴散速度與防禦的估算和這些估算的前提。

華盛頓大學、CMU、NVIDIA 與 Stanford 的研究者發現，一份 7.8 萬題的開源數學 RLVR 語料對 gpt-oss-120b 有約 88% 提供不了學習訊號。整理他們怎麼用難題的驗證解法拆出子題樹、再由下而上合成新題，以及數學與金融上的結果和限制。

AnyPS5 不模擬 CPU，把 PS5 執行檔改寫成標準的 ELF 或 PE，讓作業系統的載入器把系統函式庫呼叫綁到自寫的實作，再把 RDNA 著色器重編成 SPIR-V。整理它的 NID 改名技巧、著色器重編譯管線，以及用 Vulkan graphics pipeline library 減少卡頓的做法。

HeyGen 開源的 HyperFrames 讓人或 AI agent 用 HTML 寫影片。整理它的引擎怎麼用虛擬時間讓同一份 HTML 每次都算出相同的畫面、怎麼重新渲染子格來做動態模糊，以及怎麼用 CDP 攔截請求把影片幀送進瀏覽器。