Comment Comment by oleg_kabanov I like the idea, especially AI verification of the proof. parent oleg_kabanov 3 months ago