AI Hacker News Mar 19, 2026 1 min read Hacker Newsで注目のagent-sat、MaxSAT解法を自律的に改良するAIシステム 2026年3月19日にHacker Newsで注目を集めたagent-satは、weighted MaxSAT benchmarkを相手にAIエージェントが実験とコード改良を繰り返すopen-source projectだ。READMEによれば、2024 MaxSAT Evaluationの229インスタンス中220件を解き、5件でcompetition bestを上回り、1件はnovel solveだという。 #agents#maxsat#optimization 26