Kita sering berbicara tentang lompatan besar dalam AI untuk matematika, tetapi saya pikir langkah-langkah kecil itu sama mengesankannya. Masa depan matematika adalah sekarang. Saya sedang mengerjakan tugas tertentu: menemukan bukti bebas huruf besar dari representabilitas koreksi fungsi Néron lokal menggunakan kombinasi istilah koreksi terkait kasus perkalian. Ini adalah jenis bukti yang sangat membosankan, tergantung pada kasus, dan agak menjijikkan. Jadi, saya memberikan masukan dari makalah saya dan bertanya kepada GPT Pro apakah itu dapat menyarankan bukti bebas casing. Setelah sekitar 15 menit, saya menerima penjelasan konseptual yang indah yang memanggil kekuatan penuh dari grafik ganda serat yang merosot - bersama dengan saran yang mencengangkan bahwa versi koreksi kesalahan lokal yang sedikit dinormalisasi sebenarnya adalah fungsional energi. Saya terkejut. Saya tidak pernah mengharapkan wawasan yang begitu mendalam. Jika dipikir-pikir, saya sekarang dapat melihat apa yang saya lewatkan. Tapi saya merindukannya-dan model membimbing saya sampai ke bukti. Bukti baru ini jauh lebih elegan dari yang sebelumnya. Saya hanya memiliki visi yang samar-samar, tebakan bahwa pendekatan seperti itu mungkin berhasil, tetapi kombinasi model dari kesadaran literatur yang mendalam dan kekuatan kombinatorial dari strategi pencarian pohonnya membawa saya langsung ke inti konseptual dari bukti. Menantikan apa yang dapat ditawarkan model lain juga.