> 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 2 hours ago | parent | next [-]

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.

▲

Sabinus an hour ago | parent | next [-]

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

▲

esafak 2 hours ago | parent | prev [-]

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 2 hours ago \| parent [-]
		It would be nice, but I don't have much hope as it doesn't help next quarter's profits.

▲

sandspar 3 hours ago | parent | prev [-]

Surely the machines will have superior conjectures soon.

	▲	esafak 3 hours ago \| parent [-]
		I think so. Mathematics is the least of my worries. I worry about what the machines will want to do.