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
- UIUC Professor: Reliability Becomes Foundation for Functional AI Systems — tianyin_xu · 2026-08-25
- Opinion: Prompt engineering is a temporary hack for unclear thinking — TivadarDanka · 2026-08-25
- Plato's Cave and LLMs: Perturbing Representations to Detect Path Dependence — mb3rtheflame · 2026-08-25
- Generalist AI founder: robotics is having its GPT-3 moment, new tasks learned in seconds — _sonith · 2026-08-25
- Opinion: GPT-4 seems limited compared to today's models — MillionInt · 2026-08-25
- Gary Marcus: AGI unlikely this decade, foundational problems remain — rawantitmc · 2026-08-25