alt Hacker News> 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?
From the entity that is producing these proofs, obviously.
As the old saying: great claims require great evidence.