Ang Unang 66 na Problema sa Paghahatid ng Pambansang Prisyo @justinsuntron ay inilahad ang mga unang 66 na problema sa Paghahatid ng Justin Sun, na may mga problema sa Pinnacle na nag-aalok ng hanggang $1M. Ngunit ang interesanteng bahagi ay hindi lamang ang pambayad. Ito ang bagong modelo sa likod nito: Solve → Formalize → Verify → Reward 1. Ang Prover ay kumukuha ng 70% Ang tao na nagsosolve ng matematikal na problema. 2. Ang Formalizer ay kumukuha ng 30% Ang tao na Convert ang patunay sa isang machine-verifiable na anyo gamit ang Lean. Kung isang tao ang gumagawa ng pareho, maaari niyang tanggapin ang 100% ng pambayad. At hindi mahalaga kung galing sa tao, AI, o tao + AI. Ang mahalaga ay kung maaari bang i-verify ng Lean ang patunay. Ito ay lalo na interesante sa panahon ng AI. Ang paggawa ng patunay ng AI na tila tama ay isang bagay. Ang pagsusuri ng bawat hakbang ng patunay ng isang makina ay iba pa. Ang unang listahan ay naglalaman na ng Navier–Stokes sa kategorya ng Pinnacle, na may OpenAI Team sa aspeto ng solusyon at OpenAI sa aspeto ng pag-verify gamit ang Lean. Ito ay nagbibigay-buhay sa orihinal na pangarap ng Paghahatid ng Justin Sun: Matematika × AI × Formal Verification × Blockchain Ang 66 na problema ay only the beginning. Ang mas malaking tanong ay: Ano ang mangyayari kapag ang mga pagbubukas sa matematika ay naging bukas, may pambayad, at machine-verifiable na mga gawain?
nbaluong (✱,✱)I-share
Source:Ipakita ang original
Disclaimer: Ang information sa page na ito ay maaaring nakuha mula sa mga third party at hindi necessary na nagre-reflect sa mga pananaw o opinyon ng KuCoin. Ibinigay ang content na ito para sa mga pangkalahatang informational purpose lang, nang walang anumang representation o warranty ng anumang uri, at hindi rin ito dapat ipakahulugan bilang financial o investment advice. Hindi mananagot ang KuCoin para sa anumang error o omission, o para sa anumang outcome na magreresulta mula sa paggamit ng information na ito.
Maaaring maging risky ang mga investment sa mga digital asset. Pakisuri nang maigi ang mga risk ng isang produkto at ang risk tolerance mo batay sa iyong sariling kalagayang pinansyal. Para sa higit pang information, mag-refer sa aming Terms ng Paggamit at Disclosure ng Risk.