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.

Saya baru-baru ini cuti dari Columbia untuk bergabung dengan OpenAI, mengerjakan OpenAI for Science. Selama beberapa bulan terakhir, AI-termasuk GPT 5.2-telah menjadi bagian yang semakin penting dari alur kerja saya sebagai ahli matematika. Saya bersemangat untuk berkontribusi pada upaya untuk mempercepat kemajuan dalam matematika dan penelitian ilmiah.