Nous venons de publier un article résolvant Erdos #846, qui a été résolu par un modèle interne chez OpenAI (). Bien que le problème puisse également être dérivé d'un article antérieur dans la littérature, la preuve par le modèle interne a été l'une des premières fois où j'ai souri en lisant la preuve.