Re:Are Mathematicians In Jeopardy?
by s3graham on Thursday February 17, 2011 @07:17PM
(#2233550)
As with the intended commercializations of Watson, it seems like augmenting humans will be more fruitful for mathematicians.
Specifically, a computer spitting out proofs of things that no one asked for doesn't seem especially productive. Humans conjecturing something interesting and getting computer generated proofs or counter-examples seems interesting and more plausible though.
Specifically, a computer spitting out proofs of things that no one asked for doesn't seem especially productive. Humans conjecturing something interesting and getting computer generated proofs or counter-examples seems interesting and more plausible though.