Plus: The US has accused six Chinese AI firms of “industrial-scale” theft.

But there are troubling questions about how they did it—and what it means for us all.

AI companies are making impressive mathematical strides. Human mathematicians are losing out.