The mathematics AI moment comes with solutions, limits, and new tensions

Nature Machine Intelligence surveys a fast-moving field and asks what mathematical verification can—and cannot—guarantee.