The Clay Mathematics Institute should award Millennium Prizes to AI-generated proofs