|
|
|
|
|
|
by jusuhi
870 days ago
|
|
|
At current rates, whatever is done on a supercomputer today is done by a cheap pocket-size device just decades later. So, I'm not too worried about this case. One of the first famous examples of this is the four-coloring theorem. I don't know any serious mathematician who is not certain of that result. |
|
|