20-year math researcher on the LLM theorem drop: reshuffling vs genuinely new ideas
littmath · x · 2026-10-07
A researcher with 20+ years of experience in math research and mentoring shared a nuanced take on the latest LLM math theorem release:
- She is genuinely excited to dig into the theorems relevant to her area. The key question: did the LLM merely reshuffle existing ideas—which would still be impressive, since problems in her field had been extensively worked on and a clever enough reshuffling might have sufficed—or did it produce genuinely new ideas? The latter would be amazing.
- Some of the more striking results, including the quasi-Riemann-Hypothesis result, make her hopeful that something of that kind is actually going on.
- At the same time, she retains several reasons for skepticism (thread truncated).
More from AGI Musings
- Yacine: posttraining is just the rich man's inference — yacineMTB · 2026-10-07
- AI alignment debate: is mech interp solvable, or does safety live in relationships? — repligate · 2026-10-07
- Math professor: calling hundreds of Lean-formalized solutions "slop" is unserious — lpachter · 2026-10-07
- At the Limit, Compute for Inference Equals Compute for Post-Training — yacineMTB · 2026-10-07
- Counterpoint on AI slop: nearly every successful startup of the past 25 years was built on slop — sull · 2026-10-07
- Yacine Matsuki: Inference and Post-Training Will Basically Become the Same Thing — yacineMTB · 2026-10-07