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.