7 ms·
AI could keep on generating an "observable universe," and mathematicians discover things by way of validating results. This doesn't seem much dissimilar to astr
by turtleyacht 10d 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.
- hoppyhoppy2 10d agothe article is about music conservatories, not astronomical observatories
- turtleyacht 10d agoRight. 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.