Mathematician Kevin Buzzard of Imperial College London is training computers how to prove one of the most famous problems in math history: Fermat’s last theorem. Resolving the problem isn’t the point.

A new proposal calls on social media and AI companies to adopt strict verification, but the company hasn’t committed to following its own recommendations. AI-enabled deception now permeates our online ...