Model kecerdasan buatan telah membantu membantah sebuah konjektur matematis yang belum terpecahkan selama 87 tahun, dan jawabannya dikonfirmasi dalam sehari karena siapa pun sekarang dapat memeriksanya secara manual.
Levent Alpöge, seorang ahli teori bilangan yang bekerja di Anthropic dan sebelumnya memegang beasiswa di Harvard, memposting hasil tersebut di X pada Minggu malam, memberi kredit kepada model Claude Fable 5 perusahaan.
Masalah tersebut, yang disebut dugaan Jacobian, telah terbuka sejak 1939 dan berada di daftar masalah tak terpecahkan berpengaruh oleh matematikawan Stephen Smale untuk abad ini.
halo ada yang bisa saya bantu, konjektur jacobian salah terima kasih kepada teman dekat saya akhil yang menanyakan tentangnya dan teman dekat saya lainnya fable yang bekerja selama final piala dunia
((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3,…
Bahwa AI menghasilkan matematika orisinal selevel ini adalah jenis kemampuan lompatan yang kini menggerakkan pasar, termasuk kripto. Bitcoin telah berbulan-bulan diperdagangkan berdasarkan narasi tentang kecerdasan buatan, bergerak sejalan dengan produsen chip dan saham memori, bukan karena katalis sendiri.
It fell hard last Friday ketika laboratorium Tiongkok Moonshot AI merilis model yang mengguncang industri semikonduktor, dan pulih minggu ini karena saham-saham tersebut memulihkan diri.
Sebagian dari tautan itu langsung. Pemegang terbesar bitcoin, para penambangnya, telah membangun ulang diri mereka menjadi operator pusat data AI, sehingga keberuntungan mereka sekarang naik dan turun seiring permintaan akan daya komputasi.
Tetapi tarikan yang lebih besar lebih sederhana: AI adalah tempat uang spekulatif dan perhatian investor sekarang pergi. Modal yang dulu mengejar kripto sekarang mengejar komputasi, chip, dan pembangun model, dan setiap lompatan dalam kemampuan sistem-sistem ini memperluas daya tariknya.
Setiap hasil seperti penemuan Fable terhadap dugaan Jacobian memperkuat argumen untuk mengalirkan modal ke AI, dan menimbulkan dilema sulit bagi investor kripto: Mengapa memegang token yang diperdagangkan sebagai kendaraan pendamping siklus AI ketika seseorang bisa memiliki kendaraannya sendiri?
Kurva kemampuan AI sangat curam, dan semakin curam itu, semakin banyak preferensi risiko pasar yang ditarik dari segala hal lain, termasuk kripto.
Pikirkan sebuah mesin yang menerima dua angka dan menghasilkan dua angka baru, menggunakan hanya penjumlahan dan perkalian. Pertanyaannya, yang pertama kali diajukan pada tahun 1939, adalah apakah mesin tersebut selalu dapat dijalankan mundur: diberikan hanya jawabannya, apakah dua angka awal dapat dipulihkan setiap kali?
Matematikawan memiliki cara cepat untuk memeriksa apakah sebuah mesin tampak reversibel. Konjektur Jacobian menyatakan bahwa jika sebuah mesin lulus pemeriksaan itu, maka seharusnya selalu reversibel.
Selama 87 tahun, tidak ada yang bisa membuktikan kebenarannya, dan tidak ada yang bisa menemukan mesin yang melanggar aturan tersebut.
AI menemukan satu. Ia membangun mesin yang lulus pemeriksaan tetapi tetap tidak dapat dibalik, karena tiga input berbeda semuanya menghasilkan jawaban yang persis sama. Jika tiga input memberikan satu jawaban, tidak mungkin untuk bekerja mundur dari jawaban itu. Satu contoh penyangkal saja cukup, dan aturan itu selamanya rusak.