3 pointsby bazarkua17 hours ago1 comment
  • oleg_kabanov17 hours ago
    I like the idea, especially AI verification of the proof.