“Understanding is a lively topic for philosophers, but not for the tech industry. In their race to the ultimate prize of AGI, Silicon Valley’s main players instead see the mechanization of reasoning as the main hurdle.”
AI companies are racing to mechanize mathematics. Where does that leave human understanding?
