The Fredkin Foundation established three prizes in Automatic Theorem Proving (ATP). In the mid-1980s the Foundation asked the AMS to appoint a formal ATP prize committee and to take over the administration of the awards. Since support for these prizes has been withdrawn, currently there are no plans to make future awards.