Paano Ma-verify ang isang Kasunduan
"Software lang iyan sa isang server." Ang pinakakaraniwang pagtutol sa enforcement. Mali ang surface.
Hindi mo pinopolician ang weights. Ikaw ang nagpo-police sa hardware. Ang pagsasanay ng frontier model ay nangangailangan ng specialized chips mula sa maikling listahan ng mga gumagawa, na pinagsasama sa malalaking cluster na kumukonsumo ng industrial power at nag-iiwan ng paper trail.
Pagsubaybay sa chip
Ang advanced accelerators ay high-value, low-volume na kalakal. Mayroon nang export records, serial tracking, at end-use checks sa mga katabing rehimen. Palawigin ito sa malalaking training runs.
Lisensya ng cluster
Ang mga pasilidad na lampas sa compute threshold ay nangangailangan ng lisensya, pag-uulat, at karapatang mag-inspeksyon. Maliit na lab at ordinaryong cloud user ay hindi kasama sa saklaw.
Inspeksyon sa lugar
Batay sa modelo ng mga pagbisita ng IAEA: regular at surprise inspections ng malalaking data centers, konsumo ng kuryente, at imbentaryo ng hardware. Maaaring magtago ang software. Hindi ang mga bodega na puno ng GPUs.
Mga patakaran sa cloud at foundry
Ang mga pangunahing cloud provider at chip foundry ay nagiging reporting nodes. Kailangan pa rin ng lihim na crash program ng mga fab, kuryente, at cooling. Nag-iiwan iyan ng bakas.
Hindi pamantayan ang perpektong detection
Hindi kailanman inangkin ng nuclear verification ang omniscience. Itinaas lang nito ang halaga at panganib ng pandaraya nang sapat para manatili ang mga major powers sa loob ng kasunduan. Kailangan ng superintelligence ban ang parehong praktikal na bar: sapat na visibility para mahirap itago at magastos subukan ang isang malaking illicit training run.
Mas malalim na pagsisid: nakadafoundation.org/blog/compute-governance-ai/