Google DeepMind’s AlphaProof and AlphaGeometry 2 are milestones for AI reasoning. This story originally appeared in The Algorithm, our weekly newsletter on AI. To get stories like this in your inbox ...

Unless you do it in your day to day job, math can be very easy to avoid once you graduate from school. Suddenly those long, complicated equations that your math teacher swore would be trivial are so ...