인간 수학자들이 반례 찾기에서 밀리고 있다

Human mathematicians are being outcounterexampled