AI bukan sahaja membantu dalam pembuktian matematik terkenal. Ia membantu menjadikan pembuktian itu boleh disemak oleh mesin. Anthropic mengatakan @claudeai bekerja secara majoriti autonomi selama 11 hari untuk menghasilkan formalisasi pertama yang lengkap dan disemak komputer bagi Teorem Terakhir Fermat dalam Lean. 13 juta baris pembuktian formal. 29,500 teorem sederhana yang digunakan dalam hasil akhir. Perbezaan ini penting. Andrew Wiles sudah membuktikan Teorem Terakhir Fermat puluhan tahun lalu. Terobosan di sini ialah menukar kumpulan matematik manusia yang sangat kompleks menjadi sesuatu yang boleh disemak komputer dari awal hingga akhir. Dan saya rasa ini menunjukkan salah satu peranan paling penting yang mungkin dimainkan AI dalam sains. Bukan menggantikan saintis. Mengurangkan bottleneck pengesahan. Semasa AI menghasilkan lebih banyak matematik, kod, dan penaakulan saintifik, menghasilkan jawapan akan menjadi lebih murah. Membuktikan bahawa jawapan-jawapan itu sebenarnya betul mungkin akan menjadi lebih berharga. Hadapan seterusnya AI mungkin bukan sahaja kecerdasan. Ia mungkin kecerdasan yang boleh disemak.
Effie Kavoura 🔶Kongsi
Sumber:Tunjukkan artikel asal
Penafian: Maklumat yang terdapat pada halaman ini mungkin telah diperoleh daripada pihak ketiga dan tidak semestinya menggambarkan pandangan atau pendapat KuCoin. Kandungan ini adalah disediakan bagi tujuan maklumat umum sahaja, tanpa sebarang perwakilan atau waranti dalam apa jua bentuk, dan juga tidak boleh ditafsirkan sebagai nasihat kewangan atau pelaburan. KuCoin tidak akan bertanggungjawab untuk sebarang kesilapan atau pengabaian, atau untuk sebarang akibat yang terhasil daripada penggunaan maklumat ini.
Pelaburan dalam aset digital boleh membawa risiko. Sila menilai risiko produk dan toleransi risiko anda dengan teliti berdasarkan keadaan kewangan anda sendiri. Untuk maklumat lanjut, sila rujuk kepada Terma Penggunaan dan Pendedahan Risiko kami.