Keplearn：Rust 符號迴歸引擎，秒級從資料還原公式
Keplearn 是一個用 Rust 編寫的確定性符號迴歸引擎，從 stdin 讀入 TSV/CSV 表格資料，輸出候選閉式方程的 JSON。它編譯成單一靜態二進位制、零依賴，精確規律通常在毫秒級解出，難題可用 --timeout 設上限；結果裡的 r2 由列印出的方程本身重新計算，常數會吸附到有理數及 pi、e、sqrt(2) 的倍數並逐次校驗。
官方在 SRBench 標準基準上給出 Feynman 無噪聲 64.7% 的符號解出率，超過此前公開最高 55.8%，且以單檔案零依賴二進位制分發，對需要從實驗資料反推解析公式的研究者最有用。
原標題：Keplearn: Extract Equations from Data in Seconds
閱讀原文
| 評分 | 50 / 68（平均 59，門檻 76） |
|---|---|
| 狀態 | 未入選 |
相關報導
清華開源 SRHarness，符號迴歸恢復率 93.69%，併發布 MechBench 基準
清華大學電子工程系發布智慧體符號迴歸執行時框架 SRHarness，程式碼已開源，支援 PyPI 安裝並提供線上 Demo。在相同 DeepSeek-v4-flash 底座下，其 LSR-Transform 符號恢復率達 93.69%，較此前最先進方法 SR-Scientist 的 62.16% 提升超 30 個百分點；匿名化測試中為 72.97%，遠高於 Codex 的 20.72%。
repopedia：MIT 許可的原生代碼知識圖譜工具
開發者發布 repopedia，一個 MIT 許可的原生代碼知識圖譜工具，用 pip 安裝後對倉庫建圖，結果存為普通 SQLite 檔案，tree-sitter 負責解析，無需伺服器、Docker 或 API key，程式碼不上傳。它可查詢函式呼叫者與改動的傳遞影響範圍，並生成程式碼庫 wiki，還提供 MCP server 供 Claude Code 直接查圖，一次呼叫返回 file:line。
DSReg 讓 JEPA 表徵每一維對應真實世界變數
UIUC、冷泉港實驗室等機構提出 DSReg，可直接加在已訓練好的 JEPA（LeJEPA）表徵上，讓每一維對應太陽、溫度等真實世界變數，且不需要重建觀測、解碼器或標籤。方法先估計觀測對錶徵的區域性 Jacobian，再在正交矩陣上最小化稀疏度，找到這個旋轉，理論上首次得到完全可識別的 JEPA。在合成資料、3DShapes 與 dSprites 上，它的恢復效果接近用標籤擬合的監督上界，六個下游任務均優於 LeJEPA，原有預測效能不變。
INIT 開源 Rust coding agent，可中途重寫並熱替換自身核心
INIT Labs 開源了 Rust 編寫的 coding agent INIT，它能在同一段對話中重寫並熱替換自己的 harness（提示詞、工具、編譯核心），換核耗時 4.3 秒，並保留 87.9% 的 prompt cache。模型幾乎可以改寫所有層，但永遠不能觸碰 Root：金鑰、簽名記錄與快照都在 Root 中；12 項危害訊號中任意一項觸發，都會回滾改動。一次對 shell 工具的改動因評分偏低被拒絕，9 秒後回滾，記錄 seq 88–90 均帶簽名。
Recursive 發布免費編碼模型 Flint，可在筆記本本地執行
Recursive 發布免費編碼模型 Flint，以 Apache 2.0 許可在 Hugging Face 開放下載，可在筆記本上離線執行。它是 40B 引數的混合專家模型，每次只啟用 2.5B 引數；在搭載 M4 Pro 的 MacBook Pro 上約 131 tokens/秒，約為同機 Gemma 4、Nemotron 3.5 Lightning 的兩倍；在 SWE-Bench Verified 上優於所有 50B 以下模型。