LLM 自主发现数学定理，趣味性指标提升 4.3 倍
CatAstro_Piyush · x · 2026-09-26
一条关于新研究的长线程：LLM 已能证明困扰数学家数十年的结果，而无人类引导下「找到有趣定理」成为新瓶颈。团队提出了可量化的「趣味性」（interestingness）指标，教会 LLM 主动寻找有趣定理，趣味性提升 4.3 倍，并构建了一个自我扩张的发现循环（self-expanding discovery loop）。
「研究」频道最新
- Fireworks 联手 HUD 推 RL 训练 Cookbook,一次定义任务即可训练+评估 — sophiamyang · 2026-09-26
- CMU 联合 Meta 发布 TrackEverything：可追踪 1000+ 帧长视频全点轨迹 — AdamWHarley · 2026-09-26
- 稀有病药 PRV 值 1.55 亿美元:AI 小团队的创业套利思路 — NikoMcCarty · 2026-09-26
- 康奈尔学者:扩散语言模型距实用还缺关键要素 — CatAstro_Piyush · 2026-09-26
- Opus 5.5 一小时生成 3Blue1Brown 风格论文动画,全程零人工干预 — hsu_byron · 2026-09-26
- 训练 600M 小模型引入滑动注意力窗口与记忆机制的一手实验 — KlausCodes · 2026-09-26