4 ms·
The theorem space is infinite. The theorem space that is learnable in a single human lifetime is probably finite, but we are not anywhere near having explored i
by andreyf 11y ago
The theorem space is infinite. The theorem space that is learnable in a single human lifetime is probably finite, but we are not anywhere near having explored it.