Boaz Barak on Math after AI: Transforming research while keeping humans in the loop
Zulfikar_Ramzan · x · 2026-08-25
Zulfikar Ramzan shares a brilliant piece by Boaz Barak titled "Math after AI". The article is historically grounded and free of hype or Luddite panic.
Key Points:
- AI's Role: AI can help solve open problems, aid in exposition, and build theories.
- Human Role: Curiosity-driven discovery, education, and fostering the scientific community remain essential human functions.
- Historical Context: Reflects on the shift from patronage to state employment for scientists, emphasizing the constant importance of the scientific community.
- Emotional Impact: Mathematicians feel both excitement and grief regarding the profound changes to the process of doing mathematics.
Related event: Boaz Barak's Deep Dive on Math in the Age of AI(2 posts)→
More from AGI Musings
- Mech Interp Veteran Rethinks Alignment, Misgeneralization, CoT Oversight — akbirthko · 2026-10-16
- GitCoin founder on Nick Land's technocapital: capitalism as a self-assembling machine intelligence — khademinori · 2026-10-16
- AI-driven job losses could turn $10T consumer debt into a $1T banking hole — churchkey · 2026-10-16
- Into the Unknown: an AI agent benchmark of 15 open research problems from US national lab scientists — Jeande_d · 2026-10-16
- Soon your AI will meet their AI — and humans without agents can't compete — danfaggella · 2026-10-16
- Analyst: in a year, models 2-3x better across the board at 10x lower cost, token use up 10-20x — DeryaTR_ · 2026-10-16