Masalah Hadiah 66 Pertama @justinsuntron telah mengungkapkan 66 masalah hadiah pertama untuk Justin Sun Prize, dengan masalah Pinnacle menawarkan hadiah hingga $1 juta. Tetapi bagian yang menarik bukan hanya hadiahnya. Melainkan model baru di baliknya: Selesaikan → Formalisasi → Verifikasi → Hadiah 1. Prover mendapat 70% Orang yang menyelesaikan masalah matematis. 2. Formalizer mendapat 30% Orang yang Mengonversi bukti menjadi format yang dapat diverifikasi mesin melalui Lean. Jika satu orang melakukan keduanya, mereka bisa menerima 100% hadiah. Dan tidak masalah apakah solusi berasal dari manusia, AI, atau manusia + AI. Yang penting adalah apakah Lean dapat memverifikasi bukti secara formal. Ini sangat menarik di era AI. AI yang menghasilkan bukti yang tampak benar adalah satu hal. Mesin yang memeriksa setiap langkah bukti tersebut adalah hal lain. Daftar perdana sudah mencakup Navier–Stokes dalam kategori Pinnacle, dengan OpenAI Team di sisi solusi dan OpenAI di sisi verifikasi Lean. Ini mewujudkan visi asli Justin Sun Prize: Matematika × AI × Verifikasi Formal × Blockchain 66 masalah hanyalah permulaan. Pertanyaan yang lebih besar adalah: Apa yang terjadi ketika terobosan matematis menjadi tugas yang terbuka, diinsentif, dan dapat diverifikasi mesin?
nbaluong (✱,✱)Bagikan
Sumber:Tampilkan versi asli
Penafian: Informasi pada halaman ini mungkin telah diperoleh dari pihak ketiga dan tidak mencerminkan pandangan atau opini KuCoin. Konten ini disediakan hanya untuk tujuan informasi umum, tanpa representasi atau jaminan apa pun, dan tidak dapat ditafsirkan sebagai saran keuangan atau investasi. KuCoin tidak bertanggung jawab terhadap segala kesalahan atau kelalaian, atau hasil apa pun yang keluar dari penggunaan informasi ini.
Berinvestasi di aset digital dapat berisiko. Harap mengevaluasi risiko produk dan toleransi risiko Anda secara cermat berdasarkan situasi keuangan Anda sendiri. Untuk informasi lebih lanjut, silakan lihat Ketentuan Penggunaan dan Pengungkapan Risiko.