AI could keep on generating an "observable universe," and mathematicians discover things by way of validating results. This doesn't seem much dissimilar to astronomy.

▲

hoppyhoppy2 7 hours ago | parent [-]

the article is about music conservatories, not astronomical observatories

	▲	turtleyacht 7 hours ago \| parent [-]
		Right. It's not conservatories, because we will have communities of Lean programmers and hobbyists helping things along, a group effort that is poorly described by relegation to a limited, privileged set of performers.