The Simons Foundation commits $15 million to help mathematicians navigate contested AI-assisted proofs and authorship disputes, landing the same week outside mathematicians publicly dispute the credit behind a claimed AI proof of a Navier-Stokes blowup.