At this month’s Presents, journalist @kevinhartnett.bsky.social joined @quantabooks.org' @7homaslin.com to explore the future of human-computer collaborations and how computer programs like Lean are reshaping #math.
Learn more about Lean in Hartnett’s new book: https://bit.ly/43X5To1
