Anthropic表示,Claude在MIPLIB尚未解決的203項最佳化問題中,改善了72項已登錄解法,並在45項問題中證明答案具有最優性。
Anthropic於10日透過Claude官方帳號貼文公布結果,並表示已將解答提交至MIPLIB。公司公布的數字,與這些結果是否已反映在問題集的公開紀錄中,應分開看待。
MIPLIB是彙集混合整數規劃問題的公開題庫,供各種最佳化軟體比較效能。混合整數規劃是在既定限制下,從多種選項組合中尋找最佳解的方法,可用於排程或資源分配。
「改善已登錄解法」是指找到比既有紀錄更好的答案;「證明最優性」則代表證明在指定條件下不存在更好的答案。兩項數字代表不同成果;在確認重疊題數前,不能直接相加並稱Claude解決了117題。
Anthropic也舉出調整42列火車行駛時間、降低最大用電量的案例。Anthropic表示,Claude在2小時內找到一套時刻表,最大用電量比MIPLIB登錄的時刻表低2.6%,之後也證明了該解的最優性。這是特定數學問題條件下的計算結果,不代表實際鐵路營運的用電量經實測降低2.6%。
MIPLIB首頁顯示,最新解答檔案於9月24日公開。當時發布的solufile 37納入了51項優於既有解法的結果。Anthropic於11月10日公布的數字,晚於目前最新的公開紀錄。
Anthropic於9日公開Claude Fable 5.2和Claude Mythos 5.2。不過,MIPLIB相關貼文並未另行註明本次評估使用的模型版本。
Anthropic先前表示,Claude已對123個開源函式庫中的239個測試入口點,以數學方式證明其符合指定安全條件。Claude證明安全性的案例與此次MIPLIB成果都涉及證明結果,但評估對象與問題並不相同。
MIPLIB接受新解答提交,並會在定期更新中納入其首頁公開紀錄。Anthropic提交的結果將如何反映在公開紀錄中,有待後續更新確認。
Comment 0