English(EN) Scaling Mathematical Proof Supervision from Structured Textbooks

新的 TOME-Math 语料库增强了 AI 的数学推理能力

作者 PulseAugur 编辑部 · [1 个来源] · 2026-10-31 04:00

研究人员开发了 TOME-Math，一个将 2,118 本大学数学教科书转换为约 380,000 条结构化证明监督记录的新语料库。该语料库保留了教科书的原始组织和证据结构，包括章节顺序、命题-证明链接和依赖关系引用。在 TOME-Math 上微调基础模型显著提高了其数学推理能力，在未见过的评估中得分提高了 16.7 个百分点，并且优于现有的指令数据基线。 AI

影响通过利用结构化的教科书数据，增强了 AI 的数学推理能力，有可能提高 STEM 相关 AI 应用的性能。

排序理由该条目描述了一个新的语料库和与 AI 数学推理能力相关的研究发现，发布在 arXiv 上。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.AI 阅读 →

AI 生成摘要 · Google Gemini · 来自 1 个来源。我们如何撰写摘要 →

本文如何被排名

Signal score: 0 / 100; Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket: Tool; 该条目描述了一个新的语料库和与 AI 数学推理能力相关的研究发现，发布在 arXiv 上。[lever_c_demoted from research: ic=1 ai=1.0]
Source corroboration: Single-source cluster; Only one publisher covered this so far. Single-source stories can still rank when the publisher is high-authority, but they lack cross-source corroboration.
Topics: paper, model release; Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance: High; Clearly on-topic for AI-industry coverage.
Story freshness: 3 days old; Aged out of breaking-news scoring windows; ranking reflects the durable signal from the full source set.

完整方法见我们的编辑标准。

报道来源 [1]

arXiv cs.AI TIER_1 English(EN) · Youqing Fang, Zhouqi Hua, Yinhao Tang, Yuzhe Gu, Lingkai Kong, Bin Liu, Weiming Zhang, Kai Chen, Yanan Sun, Wenwei Zhang · 2026-10-31 04:00

将数学证明监督规模化应用于结构化教科书

arXiv:2610.40394v1 Announce Type: cross Abstract: Mathematical supervision for language models is typically flattened into isolated problem-solution pairs, discarding the curricular organization and evidential structure of the original sources. We introduce TOME-Math (Textbook-Or…

本文如何被排名

报道来源 [1]

将数学证明监督规模化应用于结构化教科书

相关实体

相关话题