Tocmai am postat un articol despre rezolvarea Erdos #846, care a fost rezolvat de un model intern la OpenAI (). Deși problema poate fi derivată și dintr-un articol anterior din literatură, demonstrația realizată de modelul intern a fost una dintre primele ocazii în care am zâmbit citind demonstrația.