|
 Originally Posted by Penneywize
hmm yes I think you are correct, he did make some error in a critical part of the proof and ended up enlisting some other mathematician dude and appealing to new methods and getting it done. Well, for that he gets immortality, I guess. Though I bet computers will be able to do proofs with little effort, even ones requiring complex / abstract thinking, within the next 20-30 years.
Yeah my engineering specialization is in artificial intelligence so I totally adhere to that theory 
Actually I thought we would be further along already in AI than we currently are, computational power really is an issue, especially now that Moore's Law has apparently reached its boundaries. I'm waiting for quantum computing to make the next big leap (which will have the potential to change everything). There was another big breakthrough last week having done an actual quantum teleportation or something along those lines so I am hopeful.
|