얘 증명하면 AGI고 못풀면 AGI 아니고