Kami baru saja memposting makalah pemecahan Erdos #846, yang diselesaikan oleh model internal di OpenAI (). Sementara masalahnya juga dapat diturunkan dari makalah sebelumnya dalam literatur, pembuktian dengan model internal adalah salah satu contoh pertama di mana saya tersenyum membaca bukti.