3 ms·The Year in Math2 points by fofoz 2y agogreekanalyst 2y agoAI is finally at the stage where it's transforming the entire discipline of mathematics. I wonder what Russell would think about this.