Are mathematicians only bearers of truth? I argue not; I argue there is an element of “taste” and “value judgment” behind the scenes that does not appear in the discussion of AI math.

Jeremy Avigad, Professor of Mathematics and Philosophy at Carnegie Mellon Abstract: Advances in neural theorem provers have been impressive, but the successes obscure a broader vision of what AI ca…

Is mathematical beauty real? Or is it just a subjective, human ‘wow’ that is becoming redundant in an AI age?

A computer scientist is struggling to trust their postdoctoral research adviser after negative experiences with the previous two. How do you find one that’s right for you?