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

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

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

A.I.’s math problem reflects how much the new technology is a break with computing’s past. By Steve Lohr In the school year that ended recently, one class of learners stood out as a seeming puzzle.

Apple is set to release iOS 26 this fall -- I'm predicting in less than two weeks-- and it will bring Liquid Glass, call screening and more features to your iPhone. But iOS 18 upgrades your Messages ...

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