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.

J'ai récemment pris un congé de Columbia pour rejoindre OpenAI, travaillant sur OpenAI pour la Science. Au cours des derniers mois, l'IA - y compris GPT 5.2 - est devenue une partie de plus en plus importante de mon flux de travail en tant que mathématicien. Je suis enthousiaste à l'idée de contribuer aux efforts pour accélérer les progrès en mathématiques et en recherche scientifique.