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 ...

The original version of this story appeared in Quanta Magazine. At the turn of the 20th century, the renowned mathematician David Hilbert had a grand ambition to bring a more rigorous, mathematical ...