Re: COMP: AI and mathematics: Proofs

From: CYMM (cymm@trinidad.net)
Date: Fri Jul 21 2000 - 17:38:23 MDT


Yes,

Way back when.. EURISKO, i think, did... ecven though most of the theorems
were already known, the program found them anew... and that was a while ago.

It's fun to bash AI... but a lot of the bashing is just plain bigotry.

cymm

>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



This archive was generated by hypermail 2.1.5 : Fri Nov 01 2002 - 15:30:06 MST