SchmidhuberAI: AI proofs will be like compiler output — individual researchers' value gone in a year
ethanCaballero · x · 2026-09-30
In a thread amplified by Ethan Caballero, olegmurk argues an individual AI researcher's utility will be gone within a year, with math proofs automated even sooner — echoed via @SchmidhuberAI. Key points:
- Mathematicians were the original influencers: they created conjectures and theories others built on; the proof itself was rarely the point.
- Frontier AI already generates informal proofs faster than humans can inspect them; the scalable response is machine-checkable math in systems like Lean.
- AI-generated formal proofs will resemble compiler-generated machine code: essential but rarely worth reading or writing by hand.
- This shifts math work up the abstraction stack — mathematicians should become "formal theory influencers."
More from AGI Musings
- Ex-DeepMind AGI deployment lead: 1,386 frontier lab employees signed safety letter, public discourse understates internal concern — Miles_Brundage · 2026-09-30
- Why Millions Are Turning to AI for Moral and Spiritual Advice — adariostrange · 2026-09-30
- 63% of Americans See Real AI Risk, So "Doomer" Label Is Overused — DKokotajlo · 2026-09-30
- "Inference is computation, not thinking": the LLM reasoning debate flares again — gerardsans · 2026-09-30
- Dev argues models can't extrapolate user preferences even with unlimited perfect context — gabriel1 · 2026-09-30
- Human brain organoids implanted in mice spark consciousness fears and calls for international oversight — Distinct-Question-16 · 2026-09-30