AMAREL@RUTGERS.ARPA (01/27/84)
cized and reviewed by the artificial intelligence and mathematics communities to determine their adequacy," Reddy said. Dr. Woody Bledsoe of the University of Texas at Austin will head a committee of experts who will define the rules of the competition. Bledsoe is president-elect of the American Association for Artificial Intelligence. "It is hoped," said Bledsoe, "that this prize will stimulate the use of computers in mathematical research and have a good long-range effect on all of science." The committee of mathematicians and computer scientists which will define the rules of the competition includes: William Eaton of the University of Texas at Austin, Daniel Gorenstein of Rutgers University, Paul Halmos of Indiana University, Ken Kunen of the University of Wisconsin, Dan Mauldin of North Texas State University and John McCarthy of Stanford University. Also, Hugh Montgomery of the University of Michigan, Jack Schwartz of New York University, Michael Starbird of the University of Texas at Austin, Ken Stolarsky of the University of Illinois and Francois Treves of Rutgers University. The Fredkin Foundation has a similar prize for a world champion computer chess system. Recently, $5,000 was awarded to Ken Thompson and Joseph Condon, Bell Laboratories researchers who developed the first computer system to achieve a Master rating in tournament chess.