Hacker News Reader

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

View on HN

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.

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.

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

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.

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

Surely the machines will have superior conjectures soon.

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

Reply on news.ycombinator.com