We hebben zojuist een paper gepost waarin Erdos #846 wordt opgelost, wat werd opgelost door een intern model bij OpenAI (). Hoewel het probleem ook kan worden afgeleid uit een eerder paper in de literatuur, was het bewijs door het interne model een van de eerste keren dat ik glimlachte tijdens het lezen van het bewijs.