Vi har precis publicerat en artikel som löser Erdos #846, som löstes av en intern modell på OpenAI (). Även om problemet också kan härledas från en tidigare artikel i litteraturen, var beviset med den interna modellen ett av de första tillfällena då jag log när jag läste beviset.

Jag har nyligen tagit tjänstledigt från Columbia för att börja på OpenAI, där jag arbetar med OpenAI for Science. Under de senaste månaderna har AI – inklusive GPT 5.2 – blivit en allt viktigare del av mitt arbetsflöde som matematiker. Jag är entusiastisk över att bidra till insatser för att påskynda framsteg inom matematik och vetenskaplig forskning.