AGI will come before we know it.