Hacker News new | ask | show | jobs
Knowledge Collapse: AI companies are racing to mechanize mathematics (bostonreview.net)
3 points by Hooke 51 days ago