AI圈报
论文研究普通

Learning to Discover Interesting Mathematics:用有趣度指标引导模型自动发现数学定理

信息来源:HuggingFace Daily Papers(社区热门论文)·
原始标题:Learning to Discover Interesting Mathematics

内容摘要

论文提出用证明长度与陈述长度之比衡量定理的内在有趣度,并证明其与下游实用性相关。作者训练了一个 27B 模型预测证明难度,准确率超过前沿通用模型;按该指标优化后,生成定理与 Mathlib 的实质性或完全重合率从 91.9% 降至 30.6%,系统可迭代构建自扩展的机器验证数学库。
内容分类AI 论文与研究
内容层级普通情报
发布时间(北京时间)
本站收录时间(北京时间)
信息来源HuggingFace Daily Papers(社区热门论文)
站内情报编号intel-66cc9f694a95489de38d796f