Comment by cosmic_ape

Claims should be verifiable in principle by humans, obviously. I do not suggest paper be stored as binaries. Perhaps replace “should not be human readable” with “should not be designed for human reading convenience”. They can be written by LLM, or dumped as a list of supported claims, or anything like that. Does that make sense?