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
- First-ever paper on multi-agent swarm safety lands NeurIPS spotlight — LauraRuis · 2026-10-16
- Yoav Artzi on peer review: paper flooding still pays off as review system strains under load — yoavartzi · 2026-10-16
- Letta founder: work in fields defined by problems, not methods — lateinteraction · 2026-10-16
- Why pure mathematicians will soon flood into AI x-risk debates — Dr_Atoosa · 2026-10-16
- RSI began when model outputs augmented next-gen training data, agents just escalated it — akbirthko · 2026-10-16
- Luiza Jarovsky: with AI making careers unpredictable, 'do what you love' is the best advice left — LuizaJarovsky · 2026-10-16