深度分析 Harness Engineering：AI 代理人驅動的大規模 NP‑hard 化簡庫建置 隨著 NP‑hard 優化問題需依不同求解器重新表述，研究團隊打造一套 harness 工程平台，讓 AI 代理人自動產生並驗證化簡程式，三個月內建成 100 多種問題類型與 200 多條化簡規則，並支援即時串接新求解器。此技術顯著縮短開發週期，提升化簡正確率，預示 AI 工具鏈未來將更趨自動化與模組化。
