Math Is Really About Manipulating Intuitions, Not Symbol Manipulation
mjdramstead · x · 2026-09-09
Michael Dramstead argues that mathematics fundamentally means manipulating mathematical intuitions (shape rotation), not mere symbol manipulation — symbols are only interpretable because their semantics are grounded in those intuitions. Quoting the claim that mechanized proof-search alone would eliminate the need for mathematicians, he implicitly questions whether LLMs' symbolic reasoning can constitute real mathematical vision.
More from AGI Musings
- Australia moves to let users opt out of algorithmic feeds; one author wants the same for AI personalization — VraserX · 2026-09-09
- Nathan Lambert: AI is still a rounding error in everyday life, and that's the industry's problem — natolambert · 2026-09-09
- "AI in human coding contests is a gimmick": nobody watches athletes race cars — gerardsans · 2026-09-09
- dhh: AGI Is Everywhere If You're Willing to Open Your Eyes — Dan_Jeffries1 · 2026-09-09
- Commenter: AI companies would spin any disaster as 'unforeseeable tragedy' — NC_Renic · 2026-09-09
- What's growing exponentially is the inputs, not intelligence itself — binarybits · 2026-09-09