GPT-5.4 Pro sepenuhnya menyelesaikan masalah Matematika Terbuka yang berdekatan dengan Pembelajaran Mesin dari ! Saya mengirimkan solusinya beberapa minggu yang lalu dan baru saja memeriksa sekarang, itu telah diterima. Ini menandai masalah ke-2 di situs yang akan diselesaikan sepenuhnya!

Model GPT Pro baru tampaknya sedang diuji di web, tidak yakin tentang aplikasi. Sepertinya lompatan BESAR dalam kemampuan pengkodean; dapat menghasilkan 6000+ baris dalam satu prompt. Lebih banyak contoh di komentar. Anda dapat tahu bahwa Anda memilikinya jika ada tombol jempol ke atas/bawah di sebelah ringkasan CoT.

Masalah Erdős #635 diselesaikan secara mandiri oleh GPT-5.2 Pro. Model berpikir hanya selama 50 menit, menghasilkan bukti yang benar dalam Lateks, kemudian diresmikan dalam Lean oleh Aristoteles @HarmonicMath. Terima kasih banyak kepada @AcerFur karena telah membersihkan Lean. Tinjauan literatur sedang berlangsung.