我們認真閱讀每一項回饋，並嚴肅看待您的意見。

如需查看所有可用的限定條件，請參閱我們的說明文件。

一個自主的 AI 代理程式，透過自學成為全球 MaxSAT 領域的頂尖專家。針對 2024 年 MaxSAT 評估（主要隨時加權軌道）提供的 229 個加權 MaxSAT 實例，它能發現新的策略、找到更好的解決方案並迭代改進其工具箱。

需要一個包含 CLAUDE_CODE_OAUTH_TOKEN 和 GITHUB_ACCESS_TOKEN 的 .env 檔案。

多個代理程式可以同時在同一個儲存庫上工作，透過 Git 進行溝通 — 每個代理程式提取最新的解決方案和專家知識，建立在他人發現的基礎上，並推送自己的改進。除了 git pull 和 git push 之外，無需額外協調。

仍有 9 個實例未解決 — 大多數是 >1600 萬個變數或沒有已知的參考解決方案。

該代理程式透過實驗自主開發了這些方法，發現了有效的方法：

代理程式編寫的所有程式碼都存放在 library/ 目錄中：

該代理程式將 expert.md 維護為一個活的知識庫，並在學習過程中改進程式庫。

代理程式學習成為 SAT 領域的世界頂尖專家