研究人员开发了一个名为COMPOSE的新框架，用于生成未来可能出现的数学猜想。这个双图系统利用论文的引用图和其形式定理依赖图来约束语言模型。通过结合科学背景和形式结构，COMPOSE旨在比仅考虑单一信息来源的先前方法产生更扎实、数学上更丰富的输出。该框架在108K个示例的数据集上进行了评估，在生成未来定理类猜想方面表现出优越的性能。 AI
影响 这项研究可能通过生成新颖、有根据的定理假设来推进AI在数学发现方面的能力。
排序理由 该集群描述了一篇详细介绍用于AI驱动的数学定理生成的新颖框架和数据集的研究论文。
AI 生成摘要 · Google Gemini · 来自 2 个来源。 我们如何撰写摘要 →
arXiv:2605.30333v1 Announce Type: new Abstract: A plausible future mathematical claim must satisfy two constraints: it should follow the direction of prior work and respect the formal dependencies that constrain what can validly follow. Existing approaches typically model only on…
A plausible future mathematical claim must satisfy two constraints: it should follow the direction of prior work and respect the formal dependencies that constrain what can validly follow. Existing approaches typically model only one of these sources, producing claims that are ei…