It’s amazing for me to see math research going from craft to technology.

CS had this moment decades ago, sans some theoretical parts that are joining the bandwagon now.

I did a bit of math research in grad school collaborating with my math postdoc roommate. I found the aversion to any computation making its way into the craft to be odd decades ago.

Well, now the proof’s in the AI generated pudding.