标签
本文探讨了在假设驱动研究中，人机协作如何推动数学问题解决和人工智能发展，并以黎曼猜想的进展以及用于架构搜索的AIRA-Compose系统为例。
SkillHEX提出了一种用于大语言模型智能体自主技能演化的闭环框架，利用假设驱动的自我验证和证据引导的树搜索来克服稀疏奖励挑战。在有限交互预算下，它在SkillsBench上优于现有自演化方法。
PyCC.id 是一个 Python 库，用于从时间序列数据中进行假设驱动的方程发现，利用结构可辨识性来帮助筛选候选模型。