LANTERN 用模型内部表征挖出 4 条 OEIS 新序列关系

据 AGI Hunt 2026 年 10 月 1 日报道，研究者提出 LANTERN 方法：用预训练模型激活上的分类器为候选数学关系打分排序，在 OEIS 中 10000 条高频引用序列之间排序约 5000 万个候选序列对，产出 62 条经核验的新关系。经内容筛选后保留 13 条，其中 9 条有信息量，4 条为 OEIS 与文献检索均未见过的全新发现。报道称该端到端流程耗时不到 8 小时，展示了用模型内部表征低成本辅助数学发现的可行路径。

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

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