New top story on Hacker News: Will Computers Redefine the Roots of Math? (2015)

http://ift.tt/2thW5pk
New top story on Hacker News: Will Computers Redefine the Roots of Math? (2015) http://ift.tt/2yi1CP5
via IFTTT