Loading Open Internet
    AI helped produce two proofs for the same cryptography problem