LLM 自主发现数学定理，趣味性指标提升 4.3 倍
CatAstro_Piyush · x · 2026-09-26
一条关于新研究的长线程：LLM 已能证明困扰数学家数十年的结果，而无人类引导下「找到有趣定理」成为新瓶颈。团队提出了可量化的「趣味性」（interestingness）指标，教会 LLM 主动寻找有趣定理，趣味性提升 4.3 倍，并构建了一个自我扩张的发现循环（self-expanding discovery loop）。
所属事件:NYU 团队教 LLM 判断定理有趣度，自主数学发现效率提升 4.3 倍(5 条相关)→
「研究」频道最新
- Explosion 发布 Ellf 目录：52 个 NLP 模板与多智能体标注工作流 — _inesmontani · 2026-11-11
- STABLE 优化器入选 NeurIPS 2026,从优化器层面遏制持续学习遗忘 — v_lomonaco · 2026-11-11
- 从 Bahdanau 到 FlashAttention:一图看懂注意力机制八年演进史 — cneuralnetwork · 2026-11-11
- 三年造 CPU、内存与脉冲网络：一位芯片爱好者的加速器之路 — k7agar · 2026-11-11
- 数学家 Strogatz 探问：当 AI 成为「神谕」，数学将走向何方 — stevenstrogatz · 2026-11-11
- 从莱布尼茨行列式到向量空间：线性代数两百年演化一图看懂 — burny_tech · 2026-11-11