We already have much easier proofs that no system is perfect. So if it's only trying to disprove perfect AGI, it's both clickbait and redundant.