alt Hacker News> 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.
Replies
sandspar • yesterday at 9:01 PM
Surely the machines will have superior conjectures soon.
➕ show 1 reply
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.