3 ms·

> What's left? I think humans will be left to propose new conjectures while machines fill out the proofs. I don't know if there are enough interesting conjectu

by esafak 4mo ago

> What's left? I think humans will be left to propose new conjectures while machines fill out the proofs. I don't know if there are enough interesting conjectures to go round to build new careers, though.

sandspar 4mo ago
Surely the machines will have superior conjectures soon.
- esafak 4mo ago
  I think so. Mathematics is the least of my worries. I worry about what the machines will want to do.
IsTom 4mo ago
To be able to propose interesting conjectures you need to walk the walk of trying to prove things yourself. That's not great for future generations.
- esafak 4mo ago
  It is the same with anything technical; you need taste and wisdom, which are borne of experience. I think society will want to subsidize this learning lest it deskills en masse.
  - IsTom 4mo ago
    It would be nice, but I don't have much hope as it doesn't help next quarter's profits.
  - Thanemate 4mo ago
    But we can't have that experience when we deem the experience acquisition as sub-optimal to the grand scheme of things, which is to produce software.
- Sabinus 4mo ago
  Isn't it same argument for every tool we've created?