# LLM 可被教会自主发现有趣定理

- 来源：Thomas Wolf (@Thom_Wolf)
- 发布时间：2026-09-26 19:26
- AIHOT 分数：43
- AIHOT 链接：https://aihot.news/items/cmuibhvyu0ck4rov0qohzzx9k
- 原文链接：https://x.com/Thom_Wolf/status/2103808532936073666

## AI 摘要

这很重要

[引用 @niketnpatel]：“事实的堆积之于科学，正如石堆之于房屋。”——庞加莱

LLM 如今正在证明那些困扰数学家数十年的结果。在没有人类引导的情况下找到有趣的定理，是一个新的瓶颈。我们展示了可以教会 LLM 做到这一点！

TL;DR：
→ 一个可量化的“有趣度”概念
→ 有趣度提升 4.3×
→ 一个自我扩展的发现循环
[1/5]

## 正文

this is important

### 引用推文

> Niket Patel：“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 ...