Hugging Face Daily Papers·2026-09-26 08:00· 7 天前AI 评分41

LANTERN：从语言模型内部表征中挖掘隐藏数学知识

LANTERN: Illuminating Hidden Mathematical Knowledge in Language Models

AI 导读

LANTERN 通过预训练模型激活上的分类器对候选关系排序，结合分阶段过滤、假设生成、可执行验证与分析检查，在 OEIS 的 10,000 个高频序列中排名 5000 万对，产出 62 条此前无交叉引用的已验证关系。