私たちは最近、OpenAIの内部モデルによって解かれたErdos #846を解く論文を投稿しました。この問題は以前の論文からも導き出せますが、内部モデルによる証明は、私が証明を読んで笑顔になった最初の瞬間の一つでした。