A technicality is that those compressors need to provably predict properties of said geometric objects to be interesting to mathematicans (a statement which its

A technicality is that those compressors need to provably predict properties of said geometric objects to be interesting to mathematicans (a statement which itself needs appropriate encoding in mathematical language - what exactly you want probably depends on the problem you hope to solve). Something that superficially looks good but works as a black box wouldn't cut it. My understanding of ML interpretability research at the moment is that it's very early days - too early, perhaps, to hope for a general purpose compressor algorithm that produces proofs of it's own workings (that seems like the holy grail). But of course I would love to be wrong!