[esafak]

> 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.

[IsTom]

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]

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.

[Thanemate]

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.

[IsTom]

It would be nice, but I don't have much hope as it doesn't help next quarter's profits.

[Sabinus]

Isn't it same argument for every tool we've created?

[sandspar]

Surely the machines will have superior conjectures soon.

[esafak]

I think so. Mathematics is the least of my worries. I worry about what the machines will want to do.