Comment by bufbupa

Not only can these systems produce novel math proofs, they can write songs lamenting the feat (from the perspective of us humans). Ironically, I kind of like it: https://youtu.be/zONGVaONKe8