Comment by 0c3ca83

Why would it want mathematics, id the math could be found faster without them? And even if you accept the argument that math is about human understanding (I don't buy that, it feels a lot like cope), why would anyone be a mathematician when the job consists of un-sloppifying a mountain of proofs, without the capability of meaningfully contribute to their creation?