Julkaisimme juuri artikkelin, jossa ratkaistiin Erdos #846, joka ratkaistiin OpenAI:n sisäisellä mallilla (). Vaikka ongelma voidaan johtaa myös aiemmasta kirjallisuusartikkelista, sisäisen mallin todistus oli yksi ensimmäisistä hetkistä, jolloin hymyilin lukiessani vedosta.