Are we heading for a future of superintelligent AI mathematicians?