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.
More from AGI Musings
- Blogger: Opus 5.5 with full enterprise access could already do most white-collar work — signulll · 2026-09-27
- Mel Mitchell argues today's AI systems are no longer LLMs, term misuse muddies debate — _aidan_clark_ · 2026-09-27
- Engineer: OpenAI and Anthropic dress up mundane bugs as an 'alignment crisis' — it's a V&V problem — AlexTensor · 2026-09-27
- Mitchell: stochastic parrot critique targeted 2021 LLMs, not today's AI systems — PMinervini · 2026-09-27
- "I want a golden retriever agent": reliability beats superintelligence — pastramimachine · 2026-09-27
- Singularity will arrive unnoticed while everyone ranks models, researcher quips — suchenzang · 2026-09-27