On: The Mathocalypse

[ComplexSystems]

> 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 → ComplexSystems]

From the entity that is producing these proofs, obviously.

As the old saying: great claims require great evidence.

[esafak → za_creature]

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 → esafak]

That's the best definition of slop I've ever read.

[pfdietz → esafak]

They still have the mic; I've been told there are another two such proof drops coming.