Knowledge Collapse: AI companies are racing to mechanize mathematics #1 Post by Hooke » Thu, Jun 11, 2026, 6:20 AM UTC Knowledge Collapse: AI companies are racing to mechanize mathematicsbostonreview.net