Boaz Barak: The Era of Handcrafted Proofs Is Over

Harvard professor and former OpenAI researcher Boaz Barak says the era of handcrafted mathematical proofs is over, urging mathematicians to embrace AI as a new way to explore mathematics.

2026-09-27 ~ 2026-09-27 · 2 related posts

• Top mathematician Boaz Barak: hand-crafted proofs are over, embrace AI-era math — mattturck · 2026-09-27
• Boaz Barak: the era of hand-crafted math proofs is over, embrace AI — FlorianGallwitz · 2026-09-27