Researchers teach LLMs to find interesting theorems, boosting discovery 4.3x
burny_tech · x · 2026-09-27
A new effort by @niketnpatel and @KempeLab targets the next bottleneck in AI math discovery: while LLMs already prove results that resisted mathematicians for decades, finding interesting theorems without human guidance remains hard. The team introduces a quantitative notion of interestingness, trains an LLM to optimize it (4.3x higher interestingness), and builds a self-expanding discovery loop.
More from Research
- Sakana AI × Pathway Post-Transformers lecture on AI and the brain now online — kaixhin · 2026-11-11
- Defending METR: public data can't second-guess its AI speedup findings — peterwildeford · 2026-11-11
- Adversarial RL envs for backdoor insertion vs. detection: where does it converge? — DimitrisPapail · 2026-11-11
- DiffusionEngine: an open-source modular PyTorch DDPM framework seeking contributors — Euphoric-Incident-93 · 2026-11-11
- UniPath (NeurIPS 2026): adaptively coordinating understanding and generation in one model — jindong_wang92 · 2026-11-11
- Versor pitches real2sim2real: robotics sim needs physical dynamics, not just visuals — abhishekunique7 · 2026-11-11