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

Axiom Math, which has recruited top talent from Meta, has raised $64 million in seed funding to build an AI math whiz.

AlphaProof and AlphaGeometry 2 are steps toward building systems that can reason, which could unlock exciting new capabilities. AI models can easily generate essays and other types of text. However, ...

While learning high-level mathematics is no easy feat, teaching math concepts can often be just as tricky. That may be why many teachers are turning to ChatGPT for help. According to a recent Forbes ...

Two mathematicians have used a new geometric approach in order to address a very old problem in algebra. In school, we often learn how to multiply out and factor polynomial equations like (x² – 1) or ...