Title: When the Maker Wins
Speaker: Joe Quinn, Hypothesis
Abstract: First we will talk about the roll of artificial intelligence in mathematics, and Thurston’s notion of what constitutes a proof. We’ll look at the famous four color theorem, proven using AI, but for which there is still no proof that a human can read. Then we’ll focus on a particular unsuccessful idea that was invented in attempt to prove the four color theorem using game theory, which I call Maker versus Breaker. This will make room for us to play some fun games, and dig into some problems that have still not been solved, by AI or otherwise.
In the seminar, we will be playing using a shared document. Thus, although no registration is required, we would appreciate having your email in advance to set up the permissions and simplify logistics at the beginning of the seminar. Please enter your email below if you plan to attend.
