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.
* Nano Banana 2 * Perpustakaan Output BESAR!
Kemarin saya mendapat akses ke nano banana 2 dan menghasilkan satu ton gambar sepanjang hari.
Saya tidak menyertakan petunjuk karena itu akan memakan waktu bertahun-tahun, berikut adalah gambarnya: