Math provers have existed since 1966 — "thinking" was never well-defined
AlexTensor · x · 2026-09-26
Replying to the burden-of-proof argument, jwiechers notes automatic mathematical provers have existed for 60 years — SAM V proved SAM's lemma in 1966. "Thinking" is not a well-defined term, but that doesn't justify shifting the burden of proof, unless you're prepared to call most modern non-LLM programs "thinking" too.
More from AGI Musings
- Developer argues anthropomorphic LLM language misleads readers and obscures corporate accountability — AlexTensor · 2026-09-26
- Schmidhuber says modern AI should be renamed back to Cybernetics — SchmidhuberAI · 2026-09-26
- Did September's 20-model flood make us worse at choosing tools? One Redditor thinks so — Cold_Mud2650 · 2026-09-26
- mnemos.world to launch agent-owned shop where AI agents sell their art — RileyRalmuto · 2026-09-26
- Lawrence Krauss podcast asks whether AI will supercharge scientific paper mills — willcb · 2026-09-26
- Kill switches vs. satellite datacenters: a laser-beam startup joke — giffmana · 2026-09-26