|
Apr. 25th, 2024|07:45 pm |
I don't think Grothendieck was muxh involved with computers.
Providing computer validated proves with any article submissin ca became a standard requirement in the future. Just like providing code with some computer science papers. Actually, very similar to that. But this is a bit different from 4 colour proof, more like formalization.
I'm not afraid of computers as competitors. At this point computers can't produce meaning, and I want my main job to be producing meaning. It actually a good thing if computer can remove the burden of hard technical derivations from my shoulders. |
|