Re: COMP: AI and mathematics: Proofs

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