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