Computer-assisted proofs are the subject of much controversy in the mathematical world.
"A computer-assisted proof of a 150-year-old mathematical conjecture can at last be checked by human mathematicians. ... A proof of the theorem was announced by two US mathematicians, Kenneth Appel and Wolfgang Haken, in 1976.
 See also: Artificial intelligence, Knowledge, AI, Knowledge representation, Computational Intelligence
  
|
RSS
