Masalah Hadiah 66 Pertama @justinsuntron telah mengungkap 66 masalah hadiah pertama untuk Justin Sun Prize, dengan masalah Pinnacle menawarkan hadiah sehingga $1J. Tetapi bahagian yang menarik bukan hanya hadiahnya. Ia adalah model baharu di sebaliknya: Selesaikan → Formalisasi → Semak → Beri Hadiah 1. Prover mendapat 70% Orang yang menyelesaikan masalah matematik. 2. Formalizer mendapat 30% Orang yang Tukar bukti ke dalam format yang boleh disemak mesin melalui Lean. Jika satu orang melakukan kedua-duanya, mereka boleh menerima 100% hadiah. Dan tidak kira sama ada penyelesaian datang daripada manusia, AI, atau manusia + AI. Yang penting ialah sama ada Lean boleh menyemak secara formal bukti tersebut. Ini terutama menarik di era AI. AI yang menghasilkan bukti yang kelihatan betul adalah satu perkara. Mesin yang memeriksa setiap langkah bukti itu adalah perkara lain. Senarai pertama ini sudah termasuk Navier–Stokes dalam kategori Pinnacle, dengan OpenAI Team di sisi penyelesaian dan OpenAI di sisi pengesahan Lean. Ini mewujudkan visi asal Justin Sun Prize: Matematik × AI × Pengesahan Formal × Blok Rantai 66 masalah hanyalah permulaan. Soalan yang lebih besar ialah: Apa yang berlaku apabila terobosan matematik menjadi tugas yang terbuka, diinsentifkan, dan boleh disemak mesin?
nbaluong (✱,✱)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.