But who is going to be the one solving them? Just query an LLM no?

Sure, all of this might end up being very unpleasant, and I'm glad not to be a mathematician right now. But that's still better than a future where there aren't even any questions left that we can understand and an AI can't solve.

Also, it still seems that AI has a much different style from humans, with more brute force and using obscure literature results, and the future might still end up human/AI complementary. We aren't in an AlphaZero situation where the AI learns everything through self-play. (Yet? But we don't even seem to be moving that way much? Can anybody qualified help out?) Things are just moving really fast now and it's hard to process everything.

▲

ks2048 an hour ago | parent | next [-]

> with more brute force and using obscure literature results,

Is that true? Look at the average math paper on arxiv. Of course it's obscure to those not in the exact sub-field - math has become very specialized.

	▲	Kotlopou an hour ago \| parent [-]
		What I meant is e.g. the unit distance construction, which (per mathematicial comments) needed a combination of distant fields, so nobody had the necessary expertise. That's different from working within one obscure field.

▲

E-Reverance 30 minutes ago | parent | prev [-]

I never said its unpleasant, what I'm meant math in its current (social) form / interface is "solved"