OpenAI’s proof seems eligible for a $1-million prize—but only by using a controversial loophole