Re: COMP: AI and mathematics: Proofs

From: J. R. Molloy (
Date: Sun Aug 06 2000 - 17:13:00 MDT

> Greg, if I understand your question, the answer is "yes". Computers have
> not only found valid mathematical proofs, they have found *new*
> proofs--one's never before thought up by humans. (I use this as a counter
> to the argument that machines cannot and never will do anything creative.)
> The one that I remember offhand was at the Argonne National Laboratory.
> Max

Also note that John R. Koza et al., writing in _Genetic Programming and
Evolvable Machines_, lists two dozen problems where genetic programming has
produced human-competitive results -- several of which have been patented. (!)

--J. R.

This archive was generated by hypermail 2b29 : Mon Oct 02 2000 - 17:35:40 MDT