OpenAI diz ter resolvido conjectura de Erdős de quase 80 anos — e gera debate