The story that absorbed it now carries its reporting and its sources.
AI proofs of Navier-Stokes and Yang-Mills →