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.

Recientemente me he tomado una excedencia de Columbia para unirme a OpenAI, trabajando en OpenAI for Science. En los últimos meses, la IA —incluido GPT 5.2— se ha convertido en una parte cada vez más importante de mi flujo de trabajo como matemático. Estoy entusiasmado de contribuir a los esfuerzos para acelerar el progreso en matemáticas e investigación científica.