Comment by turtleyacht
10 hours ago
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.
10 hours ago
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.
the article is about music conservatories, not astronomical observatories
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.