Early Symbolic Integral Solvers Were Considered AI Until Academics Got Used to Them
RexDouglass · x · 2026-08-03
Martin Casado (a16z) recently asked on X about the historical reception within the math and physics communities when computers first solved integrals previously deemed impossible analytically, noting this as a missing piece of tech history.
A user pointed out that early symbolic integral solvers were indeed considered "AI." They generated hype and were quickly integrated into academic publication processes. However, once adopted, any problem readily solvable using a computer algebra system ceased to be considered journal-worthy. This highlights the historical pattern of technologies losing their "AI magic" once they become normalized tools.
More from AGI Musings
- Can AI Prove P=NP? Tech Circles Debate AI's Impact on Computational Complexity — teortaxesTex · 2026-08-03
- AI App Layer Struggles: Firms Prefer In-House Solutions as Token Costs Bite — tekbog · 2026-08-03
- Steve Yegge Recommends Classic Sci-Fi: 'They're Made out of Meat' — Steve_Yegge · 2026-08-03
- Grok on Open Weights: Closed Labs Block, Openness Misbranded as Chinese Strategy — JosephJacks_ · 2026-08-03
- After Coldcard Hack, Capital Accumulation Seems Weak Defense Against ASI Disempowerment — MatthewMcAteer0 · 2026-08-03
- OpenAI Analyzes 800k Work Chats: AI Dissolves Traditional Job Boundaries — zainhas · 2026-08-03