Live News

Software-ondersteuning is slechts één factor die bepaalt hoe lang smartphones meegaan...

Het is eindelijk zover, na maanden van vage plagen en bizarre promotiefilmpjes met lege stoelen...

Samsung host zijn volgende Galaxy Unpacked op 22 juli, en aangezien het bedrijf eerder dit jaar al de Galaxy S26-reeks aankondigde, wijzen alle tek...

20/07/26

Volg ons:

AI vernietigt het internet. Wiskunde is onze enige hoop.

AI vernietigt het internet. Wiskunde is onze enige hoop.
Default Door Remote - 19 Jul 2026
Een recent Stanford-rapport identificeert de kernspanning duidelijk: de bepalende uitdaging van dit tijdperk is de kloof tussen wat AI kan doen en wat de samenleving bereid is te regeren. Regulering vormt de kern van deze uitdaging, en het is een moeras: een golf van federale kaders die nu meer dan 90 aanbevelingen omvatten, gecombineerd met een explosie van activiteiten op staatsniveau, waarbij alleen al in 2025 meer dan 1.000 wetsvoorstellen werden geïntroduceerd. Toch zijn de raamwerken die worden geschreven ontworpen voor een wereld van chatbots, niet voor een wereld van agenten die kopen, verkopen, publiceren, raadplegen, overtuigen en beslissen.

Inhoudslabels helpen niet en openbaarmakingen zijn niet voldoende. Zodra een autonome agent in actie komt, is de schade al aangericht. Dit is een verificatieprobleem.

En voor verificatie is bewijs nodig.

Bewijs zal ons bevrijden

Bewijs is in deze context cryptografisch en onafhankelijk verifieerbaar. Geen claim, geen openbaarmaking, geen watermerk. Een onveranderlijke garantie dat een AI-systeem deed wat het beweert te hebben gedaan, met de input die het beweert te hebben gebruikt, en de output produceerde die het beweert te hebben geproduceerd – zonder ooit de onderliggende gegevens prijs te geven.

Dit is wat zero-knowledge (“ZK”) proof-cryptografie mogelijk maakt. Met een ZK-bewijs kan één partij bewijzen dat een bewering waar is, zonder iets te onthullen dat verder gaat dan de waarheid van die bewering zelf. Het werd voor het eerst geformaliseerd in het MIT-artikel The Knowledge Complexity of Interactive Proof Systems uit 1985 en werd aanvankelijk gezien als elegant maar theoretisch. Dat veranderde in 2016 toen onderzoekers aantoonden dat het kernkoppen kon verifiëren zonder het ontwerp ervan bloot te leggen. Kort daarna stapte het over op blockchains, waardoor miljarden aan digitale activa veilig werden gesteld.