Agi 나오고 즉시 ZFC공리계 모순 발견하면 개꿀잼일듯