Právě jsme zveřejnili článek o řešení Erdos #846, který byl vyřešen interním modelem v OpenAI (). Ačkoliv problém lze odvodit i z dřívějšího článku v literatuře, důkaz pomocí interního modelu byl jedním z prvních případů, kdy jsem se při čtení korektury usmál.

Nedávno jsem si vzal dovolenou z Columbie, abych se připojil k OpenAI, kde jsem pracoval na OpenAI for Science. V posledních měsících se AI – včetně GPT 5.2 – stala stále důležitější součástí mého pracovního procesu jako matematika. Těším se, že mohu přispět k úsilí o urychlení pokroku v matematice a vědeckém výzkumu.