“Every month after this essay is published will bring its own lot of similar announcements.” Mathematician Michael Harris, member of the working group that drafted the Leiden Declaration, on AI and the future of mathematics:
Knowledge CollapseAI companies are racing to mechanize mathematics. Where does that leave human understanding?www.bostonreview.net