Join us on 6/5 at 6 PM for an SF Presents talk with Kevin Hartnett (@kevinhartnett.bsky.social) and Thomas Lin (@7homaslin.com) as they explore the future of math and grapple with the existential question: Can computers reveal universal truths?