Can Computers Be Mathematicians? | Hacker News Reader