AI for Science/代理評測
ChemWorld 將化學流程編譯成可重播代理環境,失敗操作也保留交易收據
ChemWorld 以型別化操作、相容性編譯器及私有化學定律,讓研究者在相同公開介面下只替換單一世界規則。開源版本通過 52 種生成組合與八條完整流程,但它驗證的是軟體執行語義,並非真實化學準確度。

自主化學代理的評測通常面臨兩個極端:實體實驗室能提供真實材料證據,卻難以低成本重設;一般模擬器容易重跑,但其底層世界多半固定,研究者難以只改變一條化學規則並維持其他條件完全一致。8 月 11 日公開的 ChemWorld,試圖把「化學世界本身」變成可程式化、可版本化的實驗變數。
ChemWorld 將反應、熱、相態、分離、結晶、蒸餾、連續流、電化學及觀測儀器拆成元件。研究者提交世界宣告後,相容性編譯器先檢查依賴、狀態所有權、單位、參數範圍、資源與生命週期,再產生代理可見的公開合約;材料性質、構成律及隱藏參數則由 evaluator 保管。代理只能透過具型別的操作與儀器介面改變狀態,不能直接修改模擬器內部值。
執行層採交易語義:每個動作依序通過預檢、執行期前置條件、候選狀態生成及後驗驗證。失敗操作回滾物理狀態,但仍留下請求、失敗原因與資源影響,使完整軌跡可重建。作者對參考登錄表及 52 種生成組合進行完整檢查;八條凍結流程共送出 89 個動作,其中 88 個提交、1 個按計畫回滾,全部以零數值誤差重播。另有六組父子世界只替換一條私有定律,在相同公開合約、動作序列與隨機性下產生 24 條可歸因軌跡。
程式、測試、證據與離線驗證器已以 MIT 授權公開,且可在沒有模型金鑰時操作本機 Student Lab。不過論文只證明元件相容、交易紀錄及受控分叉能正常工作;沒有比較多款代理,也未校準至濕實驗室。工程團隊下一步應關注模擬定律的外部驗證、代理是否會利用模擬器捷徑,以及論文凍結快照與持續更新程式庫之間的版本一致性。