Top mathematician Boaz Barak: hand-crafted proofs are over, embrace AI-era math
mattturck · x · 2026-09-27
Harvard professor and ex-OpenAI researcher Boaz Barak urged mathematicians to watch a talk about AI and software work: he enjoyed chiseling proofs by hand, but says that era is over and the field should embrace exploring math with AI. Matt Turck amplified the post; the quoted speaker calls it a must-hear for every engineer.
Related event: Boaz Barak: The Era of Handcrafted Proofs Is Over(2 posts)→
More from AGI Musings
- Not Boring: the three arguments that AI isn't a bubble are exactly how bubbles form — Not Boring (Packy McCormick) · 2026-11-11
- Viral post: five years of 'maybe next year,' then 2026 arrived — hey_abusiddik · 2026-11-11
- Jeremy Howard: LLMs "cosplay understanding," like the man in Searle's Chinese room — Machine Learning Street Talk · 2026-11-11
- OpenAI board member Paul Christiano: an AI accident is your most likely cause of death — notkilleveryoneist · 2026-11-11
- 'Chat with your data' misses the point — people want a smart coworker — vboykis · 2026-11-11
- Ben Todd: AI task time horizons appear superexponential in AECI, not just revenue — ben_j_todd · 2026-11-11