AI-nyheter: Amazon kunngjorde 31. oktober 2025 at Automated Reasoning checks i Bedrock Guardrails nå er generelt tilgjengelig for formell verifikasjon av genererte svar.
Automated Reasoning bruker formelle verifikasjonsteknikker for å validere at svar fra modeller følger kodede forretningsregler og domenekunnskap, et krav særlig i regulerte bransjer. Funksjoner som scenariogenerering, forbedret teststyring og en konsoll med klare regel-IDer skal gjøre det mulig å bygge, lagre og automatisk kjøre omfattende testsuiter. Dokumentbehandling støtter opptil 120 000 tokens (omtrent 100 sider). Validerings-APIet tilbyr uklarshetsdeteksjon, moteksempler og «satisfiable findings» med eksempler, og systemet kan uttrykke tillit i oversettelsen mellom naturlig språk og logiske strukturer. Løsningen gir detaljerte, reviderbare funn for iterativ forbedring av modeller og integreres i arbeidsflyter via Bedrock Guardrails etter AWSs anbefalte praksis. Dette gjelder for brukstilfeller i finans, helse, legemiddel, beredskap og juss, og forklares blant annet med et eksempel på en «Days Off»-policy.
Norsk kontekst: Løsningen er relevant for norske regulerte virksomheter innen finans, helse og jus som krever matematisk sikkerhet i kunstlig intelligens (KI)-systemer.
Kilde: https://aws.amazon.com/blogs/machine-learning/build-reliable-ai-systems-with-automated-reasoning-on-amazon-bedrock-part-1 | Sammendraget er KI-generert med OpenAI API av Ainy.no
