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

LANTERN 用预训练模型激活上的分类器为候选数学关系打分排序，在 OEIS 10000 条高频引用序列间排序 5000 万个候选对，产出 62 条经核验新关系。内容筛选后保留 13 条，其中 9 条有信息量、4 条为 OEIS 与文献检索均未见过的全新发现。端到端流程不到 8 小时，展示用模型内部表征低成本辅助数学发现的可行路径。