From: J. R. Molloy (jr@shasta.com)
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 2.1.5 : Fri Nov 01 2002 - 15:30:20 MST