Gemini 4 reportedly 'proved' almost half the false theorems it was given · Digg