Colouring by numbers
Keith Devlin · 1984
Early in 1984, the Fredkin Foundation of Boston, Massachussetts, USA, offered a prize of $100,000 to the first person to write a computer program which subsequently makes a genuine mathematical discovery. All entries are to be examined by a twelve member committee of experts headed by Woodrow Bledsoe, Professor of Computer Science at the University of Texas at Austin. Bledsoe is a leading figure in that area of computer science which deals with attempts to program computers to prove mathematical theorems.