Populární témata
#
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.
Jediná věc, která brání tomu, aby umělá inteligence byla v auditech příliš dobrá, je nedostatek investic do oblasti auditů umělé inteligence.
Vyškolil jsem několik auditorů světové úrovně, a to jak přímo, tak nepřímo.
Také jsem hrál go závodně a vím, že mám nulovou šanci dokázat něco, co by se alespoň vzdáleně blížilo světové třídě.
Soutěžní přístup je těžší než audity, protože permutace vstupních bodů a smysluplného stavového prostoru je mnohem větší a mnohem těžší o ní uvažovat.
Umělá inteligence rozdrtila lidi v roce 2016.
Někdo, kdo vložil 20-30 milionů dolarů do výzkumu a vývoje auditu umělé inteligence, by věci úplně obrátil.
Na vrcholu žebříčku odměn za chyby web2 ve Spojených státech je LLM.
*Taková umělá inteligence není jednorázový LLM, ale něco, co může agentně psát jednotkové testy a formální verifikační specifikace, aby otestovala své porozumění kódové základně. Počet tokenů, které by se tím spotřebovaly, by byl extrémně drahý, ale pravděpodobně by konkuroval tomu, co audity stojí nyní.
**Umělá inteligence nikdy zcela nenahradí auditory, protože nikdy nemají tolik kontextu jako člověk. Jedinou věcí, která však brání vážnému narušení, je nedostatek seriózních investic.
Andělsky bych do takového projektu investoval, kdybych viděl, že tým má ty správné zkušenosti s audity a strojovým učením.

9. 5. 2025
What's your hot take about security?
15,08K
Top
Hodnocení
Oblíbené