This event is in the past.It took place on June 5, 2026 at Gerald D. Fischbach Auditorium.
Educational TalkEducational TalkExplore how a computer program called Lean is revolutionizing mathematics and AI in the centuries-long quest for a "truth oracle." Author Kevin Hartnett joins Quanta Books publisher Thomas Lin for a fascinating conversation about human-machine collaboration, plus every attendee receives a signed bookplate.
Tips
Building a Truth Machine
Flatiron District
Educational TalkEducational TalkExplore how a computer program called Lean is revolutionizing mathematics and AI in the centuries-long quest for a "truth oracle." Author Kevin Hartnett joins Quanta Books publisher Thomas Lin for a fascinating conversation about human-machine collaboration, plus every attendee receives a signed bookplate.
Tips
Make it an outing
Add nearby spots before or after your event