this is important
“An accumulation of facts is no more a science than a heap of stones is a house.” - Poincaré LLMs are now proving results that have resisted mathematicians for ...
AI 导读
这很重要 [引用 @niketnpatel]：“事实的堆积之于科学，正如石堆之于房屋。”——庞加莱 LLM 如今正在证明那些困扰数学家数十年的结果。在没有人类引导的情况下找到有趣的定理，是一个新的瓶颈。我们展示了可以教会 LLM 做到这一点！ TL;DR： → 一个可量化的“有趣度”概念 → 有趣度提升 4.3× → 一个自我扩展的发现循环 [1/5]
Thomas Wolf@Thom_Wolf43
AI 编辑部评分，满分 100这很重要 [引用 @niketnpatel]：“事实的堆积之于科学，正如石堆之于房屋。”——庞加莱 LLM 如今正在证明那些困扰数学家数十年的结果。在没有人类引导的情况下找到有趣的定理，是一个新的瓶颈。我们展示了可以教会 LLM 做到这一点！ TL;DR： → 一个可量化的“有趣度”概念 → 有趣度提升 4.3× → 一个自我扩展的发现循环 [1/5]
来源：Thomas Wolf· x.com