Independent Verification for Every Result | Dweve AION

Správa znalostí postavená na provenienci ve stylu AION.

Merkle-certifikovatelný analyzátor používaný AION pro zpracování vstupů.

Ověřené běhové prostředí, které páruje certifikáty AION s přepisy provádění.

Provenience událostí pro systémy: hashově zřetězené záznamy o tom, co se stalo, ne kroky uvažování uvnitř rozhodnutí.

Spusťte ukázkový certifikát a ověřte jej pomocí aion check, cvc5 nebo libovolného ověřovače kompatibilního s LRAT, jakmile repozitář zveřejní. Publikace je plánována na 1. září 2026 a s ní přijdou i pokyny k instalaci.

Certifikát zůstává malý a znovu ověřitelný i po letech.

AION je důkazová infrastruktura pro rozhodnutí AI, veřejná od 1. září 2026. Vydává kompaktní důkaz vedle výsledku AI a samostatný ověřovač prochází tento důkaz proti původním předpokladům a přijímá nebo odmítá jej bez modelu, relace solveru nebo sítě.

AION přidává k odpovědi AI kontrolovatelnou účtenku. Váš asistent vám může říct, zda úvaha drží, aniž byste museli rozumět mechanismu, a účtenku lze znovu zkontrolovat bez připojení k internetu. AION je veřejný od 1. září 2026, kdy také vyjde jeho dokumentace.

AION otevírá program 1. září 2026: infrastruktura důkazů pro rozhodnutí AI, přičemž repozitář a jeho dokumentace jsou publikovány společně. Post hoc vysvětlení pouze žádají, abyste věřili dalšímu účtu ze stejného systému. AION místo toho vydává certifikát důkazu, který může jakýkoli ověřovatel zkontrolovat offline, v lineárním čase, bez solveru.

Vaše soubory, váš hardware, vaše čísla a kontrolor, který čte důkaz cizího člověka

To je dvoutýdenní hodnocení s písemným výstupem spíše než demonstrací. Korpus je váš, hardware je váš, čísla můžete interně publikovat a nic v tomto cvičení nevyžaduje konverzaci s námi. Sada nástrojů je součástí repozitáře, takže běh může začít v den, kdy přístup dorazí.

Správnost není názor AIONu na sebe sama. Každý soubor ve standardním korpusu nese stav, o kterém je známo, že má, a sada nástrojů porovnává odpověď AIONu s touto anotací případ od případu, takže počet na konci je skóre proti stanovené základní pravdě. Adresní prostor na běh lze omezit, což zabrání tomu, aby jeden patologický soubor vzal s sebou stroj.

AION dodává benchmarkovou sadu nástrojů, takže čísla, která citujete v obchodním případě, jsou ta, která vaše vlastní soubory vyprodukovaly na vašem vlastním hardwaru. Namiřte ji na korpus a zaznamená čas parsování, čas řešení a špičkovou rezidentní paměť pro každou instanci, pak vytiskne počet správných odpovědí. Běh se opakuje na stejném korpusu, takže druhé hodnocení lze postavit vedle prvního řádek po řádku.

I s tím vším někdo zpochybní výsledek. To potřebuje cestu, ne schůzku

Někde před tím posledním byl den, kdy byla práce ještě odpolední, a to je den, který chce manažer označit, protože každá možnost po něm stojí víc. Čtení rezervy denně je způsob, jak ten den najít.

Zpráva má vlastníka spíše než frontu a každý řádek na ní znamená jiný kus práce s jinou naléhavostí. Jeden je dokončen a nevyžaduje žádnou akci od nikoho. Jeden má čtyři dny, což z něj dělá plán tohoto týdne spíše než dnešní. Jeden má jediný den, což z něj dělá dnešní ranní práci. Jeden je po datu dva týdny, což vyžaduje jméno a větu vysvětlující mezeru.

Cokoli s termínem lze sledovat za běhu a AION hlásí zbývající prostor jako číslo se znaménkem spíše než jako prošlé. Okno odpovědi se zbývajícími čtyřmi dny. Doba uchování dva týdny po datu, kdy měla být uzavřena. To je provozní čtení, na které může někdo jednat dnes ráno. Číslo se mění každý den, takže zpráva je čtena jako rezerva spíše než jako poplach.

Záznamy odpovídají na otázky po faktu. Některé závazky je třeba sledovat za běhu

Atribuce je druhý mechanismus spíše než další sloupec stejného záznamu. Podpis je aplikován přes pořadí odvození, takže kdo výsledek vyprodukoval, přežije změnu dodavatele a dvě identické odpovědi od dvou dodavatelů zůstávají rozlišitelné. To platí i tehdy, když byly obě vyprodukovány ze stejných deklarovaných vstupů.

Každý záznam v tomto seznamu uvádí komponentu, která se změnila, a uložený certifikát za ní je úplný, takže re-kontrola je běh spíše než rekonstrukce. Alternativa, kterou má většina organizací, je volba mezi přezkoumáním všeho a nepřezkoumáním ničeho, a v praxi je tato volba vždy učiněna stejným způsobem.

Výsledek přijatý minulý rok byl přijat podle loňské smlouvy. Sedm různých věcí se může pohnout pod ním: pravidlo kontroloru, schéma certifikátu, politika, pravidlo kompilátoru, smlouva běhového prostředí, verze modelu nebo simulační smlouva. Když se jedna z nich pohne, otázka, které minulé závěry spočívaly na změněné části, má odpověď, a odpověď je seznam.

Lokální záznam se snadno vede. Udržet ho smysluplný, když se pravidla mění, je těžší

Pro pověřence pro ochranu osobních údajů, který odpovídá na krátký seznam otázek o této cestě, a pouze o této cestě: žádný zpracovatel k zapsání do registru, žádný přenos k odůvodnění, žádný poskytovatel modelu v řetězci a nic z našeho, co by mohlo být nedostupné během vašeho incidentu nebo se pod vámi měnit podle cizího plánu vydávání. Verze, kterou máte, je verze, která poběží i příští rok. Tato odpověď zní stejně, ať jsou stránky připojené k síti, nebo odpojené.

Dvě cesty mohou překročit hranici a obě si konfigurujete sami. Cluster běží na adresách, které si sami nastavíte. Externí ověřovatel, pokud ho chcete do procesu zapojit, je program, který si nainstalujete, a běží jako lokální proces na vašem vlastním počítači.

Výchozí sestavení AION neobsahuje žádného odchozího klienta. Ověřování důkazu, překlad požadavku, monitorování signálu a spuštění vyhledávání probíhají na stroji, na kterém jste je spustili, uvnitř vaší vlastní hranice, na hardwaru, který ovládáte. V řetězci není žádný hostovaný model ani cesta k němu. Stejné sestavení běží v odpojené místnosti i v připojené, protože na výchozí cestě nic nepotřebuje k dokončení síť.

Důkaz o pravidlech je jedna věc. Kde práce běží, je další otázka, kterou lidé kladou

Toto je výrok o sadě pravidel, nikoli vzorek minulých případů. Otestovat tisíc aplikací ukáže tisíc aplikací; kontrola neinterference pokrývá každou dvojici, kterou pravidla umožňují, pomocí self-kompozice, reachability orientované na vlastnosti a k-indukce, s abstrakcí zpřísněnou všude tam, kde dvojice ukázala, že byla příliš volná. Když neplatí, to, co se vrátí, není statistika. Jsou to dvě aplikace identické ve všech veřejných polích, lišící se v tom, na které jste se ptali, se dvěma různými výsledky vytištěnými vedle sebe. To je zjištění, na které může compliance pracovník reagovat ještě téhož rána.

Vezměte otázku, kterou regulátoři a stěžovatelé kladou nejčastěji, v různých formulacích: změnilo toto pole výsledek? Je zodpovězena jako vlastnost přes dva běhy. Propojte všechny veřejné vstupy, ponechte dané pole volné na každé straně a vyžadujte, aby se viditelný výsledek shodoval. Pokud se vždy shoduje, výsledek na tomto poli nezávisel.

Certifikát je zajímavý pouze pro větu, kterou vám umožní říct. Tento binární soubor odpovídá tomuto zdrojovému grafu. Tato zátěž běžela s těmito schopnostmi. Tato akce měla požadovaný souhlas. Toto optimum splňuje tuto mez. Tato trajektorie respektovala tyto invarianty. Tento závěr vyplývá z těchto omezení. Tento výstup pochází z tohoto přesného modelu a sady parametrů.

Případ se týká jedné aplikace. Některé otázky se týkají dvou najednou

Obojí jsou zjištění a obojí má vlastníka. Ani jedno není k dispozici z prošlo nebo neprošlo. Protipříklad vám řekne, které z těch dvou držíte.

Protipříklad také ukončí spory, které by jinak trvaly týdny, protože to není něčí názor na to, zda je pravidlo příliš přísné. Je to případ, vykreslený v reálných hodnotách, se kterými pravidlo pracuje. Buď je případ možný někde ve vaší firmě, v tom případě je pravidlo správné a systém špatně, nebo případ nemůže nastat, v tom případě specifikace postrádá omezení, které všichni předpokládali a nikdo nezapsal.

Když pravidlo neplatí, AION vrátí konkrétní situaci, která ho porušuje, zapsanou jako prózu: které hodnoty, jakého druhu a které podmínky porušují. Inženýr to dokáže reprodukovat a manažer to dokáže ocenit, a konečně se oba hádají o stejném případě.

Zbývají věty, které mohou znamenat dvě věci, a na ty se ptají

Překlad je knihovna vzorů, nikoli model, takže stejná věta vždy vytvoří stejné čtení a kontrola se nemusí opakovat proto, že by si nástroj mezi čtvrtletími rozmyslel. Druhý recenzent čtoucí stejnou větu dospěje ke stejné podmínce, což je to, co dělá kontrolu přenositelnou.

Každá podmínka je dodána s jednou větou v obyčejné angličtině, která říká, co kóduje, a s veličinami, se kterými pracuje, každá pojmenovaná druhem hodnoty, kterou drží, a vlastním řádkem popisu. Kontrolu tak může provést osoba, která vlastní požadavek, nejen osoba, která vlastní notaci.

Požadavky píší lidé, kteří rozumí byznysu, a převádějí je na podmínky lidé, kteří rozumí zápisu, a tyto dvě verze se pak léta rozcházejí. AION je drží pohromadě: požadavek napíšete jako anglickou větu a podmínka z něj vytvořená vaši větu nese s sebou. Recenzent čte obojí najednou, takže odchylka se objeví na stránce, ne v incidentu.