Acabamos de publicar un artículo que resuelve Erdos #846, que fue resuelto por un modelo interno en OpenAI (). Aunque el problema también se puede derivar de un artículo anterior en la literatura, la demostración del modelo interno fue una de las primeras veces que sonreí al leer la prueba.