Post

Amid OpenAI’s news that they’d solved the Navier-Stokes problem—verified w/ Lean—many mathematicians, including Quanta Books author Terence Tao (@teorth.bsky.social), worry that the rapid pace of AI proofs could short-circuit the main purpose of math: “to increase your understanding of a subject.”

15/9/26, 6:59 pm2 reposts4 likes

Quanta Books

@quantabooks.org

15 Sept

Terry explores what it means to treat math not just as a collection of unsolved problems but as a way of thinking in his forthcoming book, SIX MATH ESSENTIALS, publishing October 27th. Preorder here: www.quantabooks.org/books/six-ma....

quantabooks.orgSix Math Essentials - Quanta BooksThe “Mozart of mathematics” invites readers on a brief tour of six core ideas—numbers, algebra, geometry, probability, analysis, and dynamics—that capture the beauty and power of mathematical thinking...

Quanta Books

@quantabooks.org

15 Sept

Lean has also become the go-to way to verify math—@anthropic.com shouted out @kevinhartnett.bsky.social's THE PROOF IN THE CODE while announcing how Claude formalized Fermat’s Last Theorem: www.anthropic.com/research/for.... Learn more about the history of Lean: www.quantabooks.org/books/the-pr...

quantabooks.orgThe Proof in the Code - Quanta BooksThe inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?

Quanta Books

@quantabooks.org

15 Sept

Read more about how these watershed proofs are shaking up the field and how mathematicians are reflecting on their profession and why we do math: www.quantabooks.org/is-ai-solvin....

quantabooks.orgIs AI Solving Math Too Fast?In a world where AI can rapidly solve longstanding problems like Navier-Stokes, some mathematicians are calling for a more deliberative process to help preserve the field’s core values.