将科学发现视为元优化：基于数字忆阻计算求解 3-SAT 的组合优化案例研究

研究提出把科学发现形式化为元优化，让优化目标本身也随解一起演化，核心方法是"共识目标聚合"：将一组 LLM 生成的目标函数按相关性加权投票组合。在基于数字忆阻计算机器的 planted 3-SAT 算法发现任务中，共识搜索得到的最优求解器在 2,560 个变量时把中位积分步数相对调优基线降低逾 38 倍。