Abbiamo appena pubblicato un documento che risolve Erdos #846, che è stato risolto da un modello interno di OpenAI (). Sebbene il problema possa anche essere derivato da un documento precedente nella letteratura, la dimostrazione fornita dal modello interno è stata una delle prime volte in cui ho sorriso leggendo la dimostrazione.