1 comments

  • oleg_kabanov 7 hours ago

    I like the idea, especially AI verification of the proof.