1 comment

[ 3.2 ms ] story [ 27.0 ms ] thread
I like the idea, especially AI verification of the proof.