Researchers teach LLMs to find interesting theorems, boosting interestingness 4.3x
CatAstro_Piyush · x · 2026-09-26
A new research thread argues that while LLMs can now prove results that resisted mathematicians for decades, finding interesting theorems without human guidance is the new bottleneck. The team introduces a quantitative notion of "interestingness," trains an LLM to optimize for it—achieving 4.3x higher interestingness—and builds a self-expanding discovery loop.
More from Research
- TorchCurves: Differentiable Learnable Parametric Curves for PyTorch — Alex Shtoff · 2026-11-11
- AI-assisted proof shows no voting rule beats Borda on strategyproofness — conitzer · 2026-11-11
- Markowitz mean-variance portfolio theory applied to mixing MCMC samplers — michaelchchoi · 2026-11-11
- AI agents run 24/7 for a month to rewrite Météo-France's AROME weather model — IgorCarron · 2026-11-11
- NYU's Steertuning Lets a Robot Learn a Chore From 5 Minutes of Human Demo — CyberRobooo · 2026-11-11
- New preprint maps human embryonic patterning in early organogenesis at spatial single-cell resolution — anshulkundaje · 2026-11-11