LLM 可被教会自主发现有趣定理
💡 灵机 AI 深度洞见与核心提炼
这很重要
【引用 @niketnpatel】："事实的堆积之于科学，正如石堆之于房屋。"--庞加莱
LLM 如今正在证明那些困扰数学家数十年的结果。在没有人类引导的情况下找到有趣的定理，是一个新的瓶颈。我们展示了可以教会 LLM 做到这一点！
TL；DR：
→ 一个可量化的"有趣度"概念
→ 有趣度提升 4.3×
→ 一个自我扩展的发现循环
【1/5】
信源媒体：X：Thomas Wolf（Hugging Face 联创/CSO） (@Thom_Wolf)
访问出处网页 ↗