Sep 222026 “Be a Grothendieck!”—On AI and Mathematics What is mathematics? Over the years I devoted a few dozen posts to the question “What is mathematics?”. Some posts in this category bring tears to my eyes like Christine Bjorner’…
