Comment by bufbupa
18 hours ago
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
18 hours ago
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
No comments yet
Contribute on Hacker News ↗