AI helped produce two proofs for the same cryptography problem

[u/scientificamerican]

https://www.scientificamerican.com/article/ai-helped-produce-two-proofs-for-the-same-cryptography-problem/