There’s still debate over whether AI is able to independently come up with fresh mathematical proofs, but it’s clear that ...