Will the estimated training FLOPs of any exfiltrated AI exceed the indicated amount before the indicated year?