Unlike other recent AI proofs, this one has been unpacked by human experts. The implications, one mathematician said, are “staggering.”