Re: COMP: AI and mathematics: Proofs

From: Max More (
Date: Fri Jul 21 2000 - 17:17:20 MDT

At 03:33 PM 7/21/00, you wrote:
>In a discussion in another forum, the question of whether computers have
>"found" valid mathematical proofs has come up. Being mathematically stunted,
>I thought I'd do a hand-off of the question to this forum, since someone able
>to comment intelligently on the question probably inhabits this forum. Any
>leads or help?

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.


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