“I do not call my art ‘mathematical art,’” Dr. Roelofs said in a video interview about a week later. “It’s art about mathematics. Every artist has a favorite subject, things you want to talk about.

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