Missed paper opportunities at GDM, from AlphaProof to Gemini Β· Digg