Vi publiserte nettopp en artikkel som løste Erdos #846, som ble løst av en intern modell hos OpenAI (). Selv om problemet også kan utledes fra en tidligere artikkel i litteraturen, var beviset fra den interne modellen en av de første gangene jeg smilte da jeg leste beviset.