Balita ni ME, noong Hulyo 21 (UTC+8), sinabi ni Vitalik sa platform na X na isang uri ng bagong “advanced programming language” na dapat subukan ay ang mga wika na i-compile sa Lean (o HOL, atbp.) na nakatuon sa paggawa ng mga depinisyon at teorema ng mas madaling basahin ng tao. Hindi ang mga patunay, dahil ang mga patunay ay sapat kung tama lamang; ang mahalaga ay ang mga depinisyon at teorema mismo. Ang kanyang inilarawan ay ang AI na naglalabas ng malaking patunay, at kailangan ng mambabasa na maunawaan nang pinakamadali kung anong mga eksaktong klaim ang natapatunayan sa mga output na iyon. (Source: ChainCatcher)
Proposes ni Vitalik ang bagong programming language para sa mas madaling pagbasa ng mga depinisyon at teorema
KuCoinFlashI-share
Summary
Ipinangako ni Vitalik Buterin ang isang bagong mataas-antas na wika sa pag-program noong Hulyo 21, na disenyo upang i-compile sa Lean o HOL at mapabuti ang pagkakaintindi ng mga depinisyon at teorema. Ang wika ay magiging nakabatay sa AI upang harapin ang mga patunay na may kinalaman sa Proof of Work (PoW) at Proof of Stake (PoS), na nagpapahintulot sa mga gumagamit na mag-focus sa kalinawan ng mga pahayag. Ang layunin ay gawing mas ma-access ang mga kumplikadong pahayag, lalo na habang lumalaki ang haba ng mga patunay na ginagawa ng AI.
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.