LANTERN 用模型内部表征挖出 4 条 OEIS 全新整数序列关系
Pavel Tikhonov · hf · 2026-10-01
- 问题：模型能证明定理，但选哪些数学问题值得研究仍靠人。作者提出 LANTERN，用预训练模型激活上的分类器为候选数学关系打分排序，再经分阶段过滤、假设生成、可执行验证与分析性检查。
- 规模与结果：在 OEIS 的 10000 条高频引用序列间对 5000 万个候选对排序，产出 62 条经核验的新关系；内容筛选后保留 13 条，其中 9 条有信息量、4 条为全新发现（OEIS 与文献检索均未见）。
- 成本：包括分类器训练、排序、过滤与验证在内的端到端流程不到 8 小时，展示了用模型内部表征低成本辅助数学发现（AI for Science）的可行路径。
「研究」频道最新
- 微软开源 MarS:用 2M~1B 参数模型模拟金融市场行为 — mohamedmansour · 2026-10-01
- 从读到写:合成基因组学三大路线解析重构、重编码与最小化 — melnykowycz · 2026-10-01
- TokShop 第二届 Tokenization Workshop 将于 COLM 2026 举办,征稿进行中 — yuvalpi · 2026-10-01
- OASIS 用已验证轨迹修复自蒸馏缩放失效,8B 模型 AIME 提升 3 分以上 — Md. Ismail Hossain · 2026-10-01
- ATLAS 训练目标保住潜变量几何关系,显著提升世界模型规划成功率 — Ke Fang · 2026-10-01
- DyRAD 实现动态驾驶场景雷达新视角合成,检出率 90.7% 远超基线 26.9% — Technion · 2026-10-01