There are a lot of math papers / work that are "hey I saw a funny equation/morphism/shape/etc, what does it 'do'?" that present a lot of conjectures / construct

There are a lot of math papers / work that are "hey I saw a funny equation/morphism/shape/etc, what does it 'do'?" that present a lot of conjectures / constructions but are weak on any conventionally called a theorem. https://erich-friedman.github.io/packing/ https://erich-friedman.github.io/packing/ is probably one of the best known on HN.