Creator Rohan Paul says OpenAI reducing mathematical proof generation to an API triggers existential anxiety among highly specialized experts · Digg