Knowledge Collapse: AI companies are racing to mechanize mathematics | Dark Hacker News