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