2 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 27d 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 27d agothe article is about music conservatories, not astronomical observatories
- turtleyacht 27d 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.