Post

What are the technologies driving the AI revolution in math? @kevinhartnett.bsky.social, author of THE PROOF IN THE CODE, draws illuminating parallels between computer programming and math proofs in a talk at the Simons Foundation (@simonsfoundation.org).

Quanta Books

@quantabooks.org

Watch the whole interview on the Philomath blog: www.quantabooks.org/kevin-hartne... Order THE PROOF IN THE CODE: www.quantabooks.org/books/the-pr...

quantabooks.orgKevin Hartnett on Mathematics in the Age of AISometimes, a book perfectly meets its moment. Kevin Hartnett’s THE PROOF IN THE CODE was released on June 9, when everyone wanted to talk about math, computers, and AI.

2/7/26, 3:09 pm0 reposts0 likes

No replies yet.