> 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