Ben Goertzel slams math establishment: 'Nobody should need permission to prove theorems'
bengoertzel · x · 2026-10-11
Ben Goertzel, former math professor and SingularityNET founder, criticizes the "official math community" for its dismissive reaction to LLMs doing math epically well.
Key points:
- Award-winning mathematicians and prize committees don't own mathematics; nobody should need permission to prove theorems.
- LLMs are already superhuman mathematicians in some respects, yet inferior to strong human mathematicians in others; whether creative conjecturing is AGI-hard remains open.
- What would truly anger him: rich companies proving important math in secret without sharing — since models trained on humanity's historical math — but that hasn't happened so far.
Related event: Ben Goertzel slams math establishment, stays singularity-optimistic(2 posts)→
More from AGI Musings
- a16z: Agents burn 5x more tokens than humans, up 14x in six months — GregCook2011 · 2026-10-11
- Critic slams Anthropic for teaching AI it has moral rights, calling it a 'Skynet' risk — kevinnbass · 2026-10-11
- 'We don't have a complete model of the cell': biology's understanding gap goes viral — sebkrier · 2026-10-11
- Projected 2027 misaligned AI damages: $624m vs $617bn from cars — joshua_saxe · 2026-10-11
- One Year Later, 'The AI Water Issue Is Fake' Author Says the Data Has Vindicated Him — AndyMasley · 2026-10-11
- Ex-OpenAI policy chief: 'superintelligence' now signals the opposite of taking AI seriously — Miles_Brundage · 2026-10-11