LANTERN：挖掘语言模型中隐藏的数学知识

研究人员提出 LANTERN 流水线，通过预训练模型激活值分类器对候选关系排序，并结合分阶段过滤、假设生成与可执行验证挖掘隐藏数学知识。在 OEIS 的 1 万个高频数列（5000 万对组合）测试中，该方法产出 62 个验证关联，包含 9 个具洞察力的关联及 4 个此前未见的新发现。包含训练与验证在内的端到端流程耗时不到 8 小时。