The AI Revolution in Math Has Arrived | Quanta Magazine
… Some mathematicians are now leaving academia to work at big tech firms, like OpenAI and Google, or to join math-focused AI startups such as Harmonic , Logical Intelligence , Axiom Math , and Math Inc. “One reason there is so much interest in AI for mathematics in the corporate world is that people … …