3 ms·The Future of Mathematics?5 points by matt_d 7y agoheadalgorithm 7y agoSee previous discussion: https://news.ycombinator.com/item?id=20909404 https://news.ycombinator.com/item?id=20909404