3 ms·Will Computers Redefine the Roots of Math?13 points by treefire86 11y agoColinWright 11y agohttps://news.ycombinator.com/item?id=9572426 https://news.ycombinator.com/item?id=9572426