5 ms·
Sincere question, as a non-expert trying to situate your comment: are you a mathematician with experience in proofs?
by patcon 1mo ago
Sincere question, as a non-expert trying to situate your comment: are you a mathematician with experience in proofs?
- RandomLensman 1mo agoMy time proving things is long in the past and any systems way back when I was studying (some math among other things) certainly were different and usually quite narrow. My point was rather more motivated by having seen so many weird ways for machines to fail/not work as expected that I wonder how to deal with that if the output were to be incomprehensible to humans.