3 ms·I like the idea, especially AI verification of the proof.by oleg_kabanov 3mo agoI like the idea, especially AI verification of the proof.