John Carlos Baez on Nostr: - Who has that expectation? As far as I can tell - I'm no expert, but I read stuff - ...

- Who has that expectation? As far as I can tell - I'm no expert, but I read stuff - pure increase in computation power seems to have a sublinear effect on AI abilities. I expect that there are many "really hard" math problems that require extensive new conceptual apparatus to solve if one wants to avoid galaxy-sized proofs.