MaxSAT

AI智能体自主“卷”出新算法！Claude代码智能体自学成才，攻克MaxSAT难题并打破人类竞赛记录

该GitHub项目展示了一种全新的科研范式：AI智能体通过“自主阅读-实验-迭代”的闭环，完全独立地成为了MaxSAT（最大可满足性问题）求解领域的顶级专家。该智能体利用Claude Code作为核心引擎，不仅自主发现了核心指导搜索、局部搜...