AI is finally at the stage where it's transforming the entire discipline of mathematics. I wonder what Russell would think about this.