Vi publiserte nettopp en artikkel som løste Erdos #846, som ble løst av en intern modell hos OpenAI (). Selv om problemet også kan utledes fra en tidligere artikkel i litteraturen, var beviset fra den interne modellen en av de første gangene jeg smilte da jeg leste beviset.

Jeg har nylig tatt permisjon fra Columbia for å bli med i OpenAI, hvor jeg jobber med OpenAI for Science. De siste månedene har KI – inkludert GPT 5.2 – blitt en stadig viktigere del av min arbeidsflyt som matematiker. Jeg gleder meg til å bidra til arbeidet for å akselerere fremgang innen matematikk og vitenskapelig forskning.