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.

▲

m0llusk a day ago | parent [-]

Technology has changed and extended the craft, but everything about developing applications and communicating results remains.

	▲	fooker 21 hours ago \| parent [-]
		Communicating results when zero other people are working on the same problem as you and your advisor aiming to submit to a peer reviewed journal that takes six months to respond; versus when competing teams of hundred engineers working with a few billion dollars of funding trying to get the results before the other teams has to be completely different. It’s astounding that people expect the later to look like the former.