KempeLab 新论文：教 LLM 发现有趣数学定理，构建自我扩展发现循环。

RT @KempeLab：自动 AI 定理证明已经推进了前沿：圣杯并非能产生无穷无尽真定理堆的 AI。
而是能发现数学，并将每一项发现构建为下一项基础的 AI。
来看看我们关于 Learning to Discover *Interesting* Mathematics 的新论文。
https://t.co/zFAfMKHfJl