How the pursuit of mathematical understanding built the tools now poised to replace it (opens in new tab)  🤖Machine Learning

AI companies are racing to mechanize mathematics. Where does that leave human understanding?