LLM 可被教会自主发现有趣定理
中文摘要
研究通过量化“有趣度”并结合自我扩展循环，使LLM能无需人类引导，自主发现有趣的数学定理。
English Summary
Researchers taught LLMs to autonomously discover interesting mathematical theorems by quantifying "interestingness" and using self-expanding discovery loops.
原文节选
这很重要 【引用 @niketnpatel】："事实的堆积之于科学，正如石堆之于房屋。"--庞加莱 LLM 如今正在证明那些困扰数学家数十年的结果。在没有人类引导的情况下找到有趣的定理，是一个新的瓶颈。我们展示了可以教会 LLM 做到这一点！ TL；DR： → 一个可量化的"有趣度"概念 → 有趣度提升 4.3× → 一个自我扩展的发现循环 【1/5】