> I think the next step is to demand that proofs either be human-scale or they prove that a human-scale proof is impossible and the machine proof is as good as it gets.

Who do we demand this from? The AI companies? Or the mathematicians who are worried they will have nothing left to do?

▲

za_creature 39 minutes ago | parent [-]

From the entity that is producing these proofs, obviously.

As the old saying: great claims require great evidence.

▲

esafak 26 minutes ago | parent [-]

Ask away. They've dropped the mic, as far as they're concerned; they're not going to worry about what you do with it, or if you don't understand it.

	▲	za_creature 23 minutes ago \| parent [-]
		That's the best definition of slop I've ever read.