A math joke about AI never proving 'Fong's Conjecture' Β· Digg