Model kecerdasan buatan telah membantu membantah satu konjektur matematik yang tidak terpecahkan selama 87 tahun, dan jawapannya telah disahkan dalam sehari kerana sesiapa sahaja kini boleh memeriksa ia secara manual.
Levent Alpöge, seorang ahli teori nombor yang bekerja di Anthropic dan sebelum ini memegang persatuan di Harvard, memposting keputusan itu di X pada malam Ahad, mengaitkan model Claude Fable 5 syarikat tersebut.
Masalah yang dipanggil konjektur Jacobian telah terbuka sejak 1939 dan berada dalam senarai masalah tidak terpecahkan Stephen Smale yang berpengaruh untuk abad ini.
hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final
((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,…
Bahawa AI menghasilkan matematik asli seberapa sukar ini adalah jenis kemampuan lompatan yang kini menggerakkan pasaran, termasuk kripto. Bitcoin telah berdagang selama berbulan-bulan berdasarkan naratif mengenai kecerdasan buatan, bergerak bersama pembuat cip dan saham memori, bukan berdasarkan sebarang katalis sendiri.
Ia jatuh keras pada Jumaat lepas apabila makmal Cina Moonshot AI mengeluarkan model yang mengguncang industri semikonduktor, dan ia pulih semula minggu ini apabila saham-saham tersebut bangkit semula.
Sebahagian daripada pautan itu adalah langsung. Pemegang terbesar bitcoin, penambangnya, telah membina semula diri mereka menjadi pengendali pusat data AI, jadi keberuntungan mereka kini naik dan turun mengikut permintaan kuasa pengkomputeran.
Tetapi tarikan yang lebih besar adalah lebih ringkas: AI adalah di mana wang spekulatif dan perhatian pelabur kini berpindah. Modal yang dahulu mengejar kripto kini mengejar pengiraan, cip dan pembina model, dan setiap lompatan dalam kemampuan sistem-sistem ini memperluaskan daya tarikannya.
Setiap keputusan seperti penemuan Fable terhadap konjektur Jacobian memperkuat kesan untuk mengalirkan modal ke AI, dan menimbulkan masalah sukar kepada pelabur kripto: Mengapa memegang token yang diperdagangkan sebagai kereta sampingan kepada kitaran AI apabila seseorang boleh memiliki kenderaan itu sendiri?
Lengkung kemampuan AI adalah curam, dan semakin curam ia menjadi, semakin banyak nafsu berisiko pasaran yang ditarik daripada segala perkara lain, termasuk kripto.
Bayangkan sebuah mesin yang mengambil dua nombor dan menghasilkan dua nombor baru, menggunakan hanya penambahan dan pendaraban. Soalan itu, yang pertama kali diajukan pada tahun 1939, ialah sama ada mesin itu sentiasa boleh dijalankan secara songsang: diberikan hanya jawapannya, adakah dua nombor asal boleh dipulihkan setiap kali?
Matematikawan mempunyai cara pantas untuk memeriksa sama ada mesin itu kelihatan boleh balik. Konjektur Jacobian menyatakan bahawa jika mesin itu lulus pemeriksaan itu, ia seharusnya sentiasa boleh balik.
Selama 87 tahun, tiada siapa yang boleh membuktikan ia benar, dan tiada siapa yang boleh menemui mesin yang melanggar peraturan itu.
AI itu menemukan satu. Ia membina mesin yang lulus ujian tetapi masih tidak boleh dibalikkan, kerana tiga input berbeza semuanya memberikan jawapan yang tepat sama. Jika tiga input memberikan satu jawapan, ia tidak boleh bekerja secara songsang daripada jawapan itu. Satu contoh penyangkal sahaja diperlukan, dan peraturan itu rosak selamanya.