LANTERN用模型激活挖掘OEIS数学关系

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

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。