LANTERN 用 Qwen3-32B 隐藏状态在 8 小时内从 OEIS 5000 万对序列中筛出 62 条已验证关系，其中 4 条未见于 OEIS 与定向文献检索
LANTERN 在预训练模型 Qwen3-32B 的激活上训练线性分类器，对 OEIS 中 1 万个高频引用序列构成的 5000 万对候选关系排序，再经廉价过滤、假设生成、可执行验证与解析检查，产出 62 条此前无 OEIS 交叉引用的已验证关系，内容筛查保留 13 条、其中 9 条具信息性或洞察性，4 条未见于 OEIS 与定向文献检索，端到端耗时不足 8 小时。