“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’s beautiful post: The Golden Room and the Golden Mountain, … Continue reading →