|
Apr. 25th, 2024|07:37 pm |
What do you think 'bout computer-assisted proof (for example, the Four color theorem was proved this way)? Grothendieck seemed to think that proof should be passed through human brains and meaningfully by a human. Aren't you afraid of the computer as a competitor? |
|