The Stanford Dropout Building an AI to Solve Math's Hardest Problems | Dark Hacker News