Extrapolating from software: what AI means for mathematicians' daily work
cgarciae88 · x · 2026-09-21
Extrapolating from how AI has already reshaped software, the author predicts consequences for mathematicians: individual productivity could jump so that side projects once taking days or weeks take hours, and building new theories gets easier as mathematicians design the building blocks while AI proves the interesting properties. The author suspects mathematicians don't yet grasp what this means in practice, admits the list could be wrong, but notes some changes are already happening.
Related event: What AI means for mathematicians, extrapolated from software(2 posts)→
More from AGI Musings
- Oliver Habryka's team launches AGI.WTF, a Sept 2026 Berkeley conference on making sense of AI — RichardMCNgo · 2026-09-21
- AI writing detectors flagged her lab vision post; she asks what we should actually measure — furongh · 2026-09-21
- ctjlewis: Alignment Offers No Guarantees and Economics Makes Stopping SI Impossible — ctjlewis · 2026-09-21
- AI Backlash Runs Deeper: Tech Industry Burned Its Social License for Years — clarejtbirch · 2026-09-21
- François Fleuret's alien joke: after 3.8B years, carbon-based design is about to switch — francoisfleuret · 2026-09-21
- Cheap human-level intelligence could build a Dyson sphere in a decade — EigenGender · 2026-09-21