Michael Harris on Mathematics by Machine

 Peering at the future of mathematics... and the philosophy underlying it?:

https://siliconreckoner.substack.com/p/can-mathematics-be-done-by-machine