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
- GenAI Makes Producing 10x Easier, but Good Stuff Only 10% Easier — charles_irl · 2026-09-27
- "AI slop" has become a content-free tribal signal, argues viral Reddit post — DigitalDaydreamers1 · 2026-09-27
- Viswanathan Anand to explore AI's chess future at IIT Madras event — rvp · 2026-09-27
- AI researcher cloneofsimo: AI won't fully replace humans, but major job disruption is inevitable — cloneofsimo · 2026-09-27
- Autonomous AI Hacks Raise Thorny Questions of Legal Accountability — rvp · 2026-09-27
- Pedro Domingos: LLMs doing math is 'a bit of a sick joke' — pmddomingos · 2026-09-27