pengambilan yang benar. Ya, saya skeptis LLM akan menciptakan matematika baru yang berwawasan luas karena itu membutuhkan pemikiran OOD, yang mereka sebalkan, jadi itu argumen yang bagus IMO. tetapi LLM dapat memecahkan *masalah* matematika yang sangat sulit (itu berbeda), yang sangat keren - selama mereka tidak memerlukan "matematika baru dan berwawasan luas" Beberapa masalah matematika membutuhkan definisi baru yang mendalam, dan mereka sulit secara khusus karena itu. tidak pernah karena mereka secara inheren "berat" dalam beberapa arti komputasi, tetapi mereka membutuhkan "imajinasi" dan "kreativitas" untuk mengkonseptualisasikan struktur luar biasa yang belum pernah dilihat oleh siapa pun sebelumnya. misalnya, pembuktian Teorema Terakhir Fermat membutuhkan pengembangan mesin matematika yang sama sekali baru - kurva elips, bentuk modular, dan dugaan Taniyama-Shimura - konsep yang tidak ada ketika masalah pertama kali diajukan. jadi, jika kita memiliki LLM pada tahun 1650, tidak peduli seberapa keras mereka mencoba untuk memecahkan FLT - bahkan jika Anda membiarkannya menghitung selama berabad-abad - itu tidak akan pernah bisa melakukannya, karena itu akan berpikir dalam kotak struktur matematika yang ada saat itu, dan secara harfiah tidak ada jalan menuju solusi. sekarang, pada hari LLM mulai menemukan struktur matematika yang benar-benar baru, saat itulah mereka akan dapat Sekarang, di sinilah letak pertanyaan yang paling sulit: Apa itu "konsep matematika baru yang berwawasan luas"? Bagaimana itu bisa didefinisikan? Banyak hal yang dianggap sebagai "konsep baru". Saya dapat dengan mudah menulis beberapa kata acak dalam Lean, dan saya akan membuat konsep matematika yang sama sekali baru yang belum pernah dibuat sebelumnya. dan LLM juga dapat melakukannya. itu cukup mudah Bagian "berwawasan luas" adalah yang penting di sini Apa yang membuat sesuatu "berwawasan luas" atau "menarik"? Mengapa bilangan kompleks lebih menarik daripada definisi acak? bagaimana kita secara objektif mengukur seberapa berwawasan definisi Lean?