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

论文提出 LANTERN，一种基于预训练模型激活的分类器流水线，用于对候选数学关系排序，再经分阶段过滤、假设生成、可执行验证和分析检查。应用于 OEIS 时，它在 10,000 条高频引用序列的 5000 万对组合中排序，产出 62 条无现有 OEIS 交叉引用的已验证关系，内容筛选后保留 13 条，其中 9 条有信息量或洞见，包括 4 条据作者所知全新的关系。