Grady Booch: a non-small number of mathematicians are deep in soul-searching
Grady_Booch · x · 2026-10-07
Software engineering legend Grady Booch posted: "The number of mathematicians around the world currently undergoing deep soul-searching is a non-small number."
He doesn't spell out the cause, but the remark reads as a comment on recent AI breakthroughs in theorem proving — suggesting leading mathematicians are collectively reflecting on the value of their craft in the AI era.
Related event: Grady Booch Reveals AI Math Breakthroughs Stir Mathematicians' Crisis(2 posts)→
More from AGI Musings
- Thinker argues economy is cognition-extended nature, and AGI will operate on alien coordination strata — danfaggella · 2026-10-07
- The Fractal Frontier: AI may reveal the world is messier than human math prefers — IgorCarron · 2026-10-07
- Beff Jezos on the unreasonable effectiveness of chain of thought RL — beffjezos · 2026-10-07
- OpenAI's New Math Repo Could Bolster Plasma Research, With Vlasov–Maxwell Result 362 in Focus — johnseach · 2026-10-07
- When math is outsourced to OpenAI, what happens to econ research? — RexDouglass · 2026-10-07
- Writing a precise spec IS half the work — AI helps those who already specify well — sujingshen · 2026-10-07