Właśnie opublikowaliśmy artykuł rozwiązujący problem Erdos #846, który został rozwiązany przez wewnętrzny model w OpenAI (). Chociaż problem można również wyprowadzić z wcześniejszego artykułu w literaturze, dowód przedstawiony przez wewnętrzny model był jednym z pierwszych przypadków, kiedy uśmiechnąłem się, czytając dowód.

Niedawno wziąłem urlop z Columbii, aby dołączyć do OpenAI, pracując nad OpenAI for Science. W ciągu ostatnich kilku miesięcy AI, w tym GPT 5.2, stało się coraz ważniejszą częścią mojego workflow jako matematyka. Cieszę się, że mogę przyczynić się do wysiłków na rzecz przyspieszenia postępu w matematyce i badaniach naukowych.