Are we heading for a future of superintelligent AI mathematicians? physicsworld.com 2 points by mgl 6 hours ago