Zach Weinersmith on Nostr: Wishing I'd defined "largely" more carefully (even a human genius would be using ...

Wishing I'd defined "largely" more carefully (even a human genius would be using prior work in their proof) but note that even the accelerationists weren't expecting anything until 2027.

RE: https://bsky.app/profile/did:plc:o72ypk5c474zqklkukaphuy3/post/3msqmewlvps2s

quoting
note1zl2…9jt3

If you had to bet, how long before a Millenium Prize Problem is solved largely or entirely by machine intelligence? (you can also say "never")