Saya melewati ambang batas yang menarik kemarin, yang saya pikir banyak matematikawan lain juga telah dilewati baru-baru ini. Di tengah mencoba membuktikan hasil, saya mengidentifikasi pernyataan yang tampak benar dan yang, jika benar, akan berguna bagi saya. 1/3

Alih-alih mencoba membuktikannya, saya bertanya kepada GPT5 tentang hal itu, dan dalam waktu sekitar 20 detik menerima buktinya. Buktinya bergantung pada lema yang belum pernah saya dengar (pernyataan itu agak di luar area utama saya), jadi meskipun saya yakin saya akan sampai di sana pada akhirnya, 2/3

waktu yang saya butuhkan mungkin akan berurutan besarnya satu jam (perkiraan yang datang dengan bilah kesalahan yang cukup lebar). Jadi sepertinya kita telah memasuki era yang singkat namun menyenangkan di mana penelitian kita sangat dipercepat oleh AI tetapi AI masih membutuhkan kita. 3/3

PS Jika ada yang khawatir bahwa itu menggunakan lemma yang belum pernah saya dengar, saya memeriksa bahwa lemma itu bukan halusinasi.