Umělé inteligence si brousí drápy na matemetické důkazy. Kredit: Richard Greenhill & Hugo Elias, Shadow Robot Company.