LLM 被教会在无人类引导下自主发现有趣数学定理

Niket Patel 展示了一种教 LLM 自主发现有趣定理的方法，提出可量化的"有趣度"指标，使发现结果的有趣度提升 4.3×，并形成自我扩展的发现循环。研究者指出，LLM 已能证明困扰数学家数十年的结果，而无需人类引导地找到有趣定理正成为新的瓶颈。