It’s time for some (automated) game theory

Calling the Appel-Haken proof an “AI discovered proof” is misleading. If that’s AI, then so are more obviously trivial programs — for example, one which enumerates prime numbers using the sieve of Eratosthenes.

One clap, two clap, three clap, forty?

By clapping more or less, you can signal to us which stories really stand out.