Knowledge Collapse: AI companies are racing to mechanize mathematics · HackerTrans