这很重要 [引用 @niketnpatel]：“事实的堆积之于科学，正如石堆之于房屋。”——庞加莱 LLM 如今正在证明那些困扰数学家数十年的结果。在没有人类引导的情况下找到有趣的定理，是一个新的瓶颈。我们展示了可以教会 LLM 做到这一点！ TL;DR： → 一个可量化的“有趣度”概念 → 有趣度提升 4.3× → 一个自我扩展的发现循环 [1/5]