AI helped produce two proofs for the same cryptography problem

· Scientific American