Knowledge Collapse: AI companies are racing to mechanize mathematicsbostonreview.net3 points·Hooke··0 commentsOpen articleSaveView on HN