Boaz Barak: the era of hand-crafted math proofs is over, embrace AI
FlorianGallwitz · x · 2026-09-27
Harvard professor and former OpenAI researcher Boaz Barak shared an AI-generated Japanese haiku video and made a notable statement: while he enjoyed chiseling proofs by hand, mathematicians need to accept that era is over and embrace exploring math with AI. Andrew Curran amplified it, saying everyone regardless of domain should watch.
Related event: Boaz Barak: The Era of Handcrafted Proofs Is Over(2 posts)→
More from AGI Musings
- Comment: China leads the AI video revolution while the West argued about AI art — TinfoilTricorn · 2026-11-11
- Sayash Kapoor, Rishi Bommasani and Arvind Narayanan launch AI nonprofit STABL — random_walker · 2026-11-11
- Yacine: Stop reading what labs publish, think from first principles — yacineMTB · 2026-11-11
- "Skipping your 401k over fantasy x-risks means you're innumerate" — inductionheads · 2026-11-11
- Beff Jeffzos: data centers face nuclear-power-style stigma from decel mind virus — beffjezos · 2026-11-11
- Founders quit profitable YC startup, went salary-less for 2 years to warn on AI risk — jeremiecharris · 2026-11-11