Knowledge Collapse: AI companies are racing to mechanize mathematics(bostonreview.net)3 points by Hooke 50 days ago | 0 commentsNo comments yet