Trendande ämnen
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Möt @duveZK, zkVM-ingenjör på Nexus.
Han studerade logik och datavetenskap och arbetar nu med formell verifiering, nollkunskapsbevis och infrastrukturen som driver verifierbar AI.

Tanners fokus är formell verifiering för AI.
"När AI implementeras i kritiska system kan otillförlitliga resultat vara katastrofala. Bevisbar korrekthet innebär formella och kryptografiska garantier – för säkerhet, integritet och rättvisa."
Han är särskilt entusiastisk över skärningspunkten mellan PL, AI och ZK.
"Det finns ett verkligt momentum i att använda AI för att hjälpa till med formell verifiering – att träna LLM:er på Lean-data för att generera verifierad matematik och programvara."

Läs hela intervjun här:

11,38K
Topp
Rankning
Favoriter