Are we heading for a future of superintelligent AI mathematicians? | Dark Hacker News