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.