21 Oct
2026
21 Oct
'26
7:43 p.m.
Am Mi 21.10.2026 10:12 schrieb Mikolaj Konarski:
Why should one embrace slop if one can just avoid it?
Well, good luck sending a proof of a theorem to a conference, when this theorem has already been proved, in Lean, by AI.
Luckily, I don’t have to send proofs to conferences.
[…] then you don’t need a time machine or an Amish village to survive as a mathematician in the long run.
Why do you present sticking to something that was mainstream just a few years ago as being like living in an Amish village? Doesn’t your apparent need to use such a gross exaggeration indicate that in reality my approach is not so crazy as you would like to depict it and perhaps not crazy at all? All the best, Wolfgang