pada tahun 2027 kita tidak akan mendekati hanya beberapa % dari apa matematika yang digunakan dan terlihat seperti sebelum pembuktian Wiles tentang teorema terakhir Fermat kita juga tidak akan memiliki AI yang melakukan penelitian matematika baru dan aktual pada tahun 2035 (sebagian besar kumpulan masalah erdos dan IMO tidak seperti itu) tanpa seluruh poin dan kesulitan (yaitu mencari tahu apa yang sebenarnya penting dan menjadi benar-benar kreatif) - itu hanya akan mempercepat bagian-bagian yang hampir tidak dipedulikan manusia (bagian formal). Penelitian matematika adalah tentang mengidentifikasi apa pertanyaan yang tepat, apa yang menarik vs sepele dan mungkin yang paling penting adalah pemahaman aktual tentang mengapa hasil penting (!!) daripada apa pun. Ini juga tidak menyebutkan bahwa tidak semua bidang matematika memiliki "aksesibilitas" komputasi yang sama kita masih sangat jauh (tetapi kita lebih dekat!) untuk penelitian, terutama penelitian matematika, "dipimpin" oleh AI dan siapa pun yang memberi tahu Anda sebaliknya berarti dengan "definisi penelitian yang sangat membosankan" atau berbohong atau idiot atau ketiganya Saya pikir gagasan bahwa setengah dari hasil matematika baru yang dihasilkan AI pada tahun 2027 adalah lucu kecuali kita entah bagaimana cukup cacat mental untuk mendefinisikan hasil matematika hanya sebagai beberapa rangkaian simbol formal dan deduksi logis berdasarkan beberapa aturan sederhana. Untuk lebih jelasnya, maksud saya bukanlah bahwa "autofornalization" matematika tidak valid, itu sangat berharga karena berbagai alasan - sebagian besar karena manusia akan melakukan matematika yang lebih baik dan atau menggunakan waktu mereka dengan lebih baik, tetapi tentu saja tidak memiliki nilai sendiri dan oleh karena itu tidak "mengotomatiskan penelitian matematika". Maksud saya juga bukan bahwa AI tidak akan pernah dapat melakukan penelitian matematika yang sebenarnya: Saya yakin itu bisa, tetapi tentu saja tidak akan keluar dari teknologi 2020-2025 saat ini dalam dua tahun

pria matematika sejati mungkin berdiri dan tidak setuju, saya bukan pria matematika yang sebenarnya, tetapi saya ragu goblin komputer murni atau goblin matematika murni akan dapat tidak setuju karena mereka tidak cukup tahu tentang kedua belah pihak

untuk lebih jelasnya, saya pikir kita saat ini berada di era AI yang mampu memberikan bukti baru ketika dipasangkan dengan manusia, dan autoformalisasi akan terus berkembang, dan GDM mungkin akan segera mendapatkan Navier-Stokes dll maksud saya bukan bahwa itu tidak berguna, hanya saja bagian tersulit yang mendasar masih dan akan tetap didorong oleh manusia sampai ada kemajuan signifikan dalam penelitian AI (dari kegilaan autoregresif yang hanya dekoder yang kita miliki dan masih akan berada di tahun-tahun mendatang)

@nasqret saya secara khusus juga mempersempit pandangan saya ke "tumpukan teknologi saat ini" yang merupakan transfomer khusus dekoder regresif otomatis + 10000 hal yang direkatkan atau dibaut, dan afaik tidak ada yang benar-benar dibuat yang akan dikomoditisasi pada tahun 2027 (atau 2030) untuk memungkinkannya