Are we just collecting lots of AI-proof-shaped stamps?

Solving conjectures and collecting stamps