Are we heading for a future of superintelligent AI mathematicians? · HackerTrans