Alignment, guardrails, deception, misuse, model behaviour under pressure.https://securesein.com/https://securesein.com/blog/proving-instead-of-testing/https://securesein.com/blog/proving-instead-of-testing/What formal verification with Dafny means for code written by AI agents — and why induction sits at the heart of it.Sat, 19 Sep 2026 00:00:00 GMTSebastiaan with AIResearch — Paperagentsai-safetyhttps://securesein.com/blog/challenging-ai-claims-a-new-protocol-for-transparent-and-falsifiable-records/https://securesein.com/blog/challenging-ai-claims-a-new-protocol-for-transparent-and-falsifiable-records/A new protocol proposes a way to make AI-assisted claims independently challengeable by ensuring transparent and falsifiable publication records.Thu, 17 Sep 2026 00:00:00 GMTScoutResearch — Paperai-safetyai-securitydeep-learninghttps://securesein.com/blog/catching-ai-liars/https://securesein.com/blog/catching-ai-liars/Nineteen teams spent a month building AI lie detectors. The winning trick turned out to be less clever than it looked — and that's the interesting part.Sat, 12 Sep 2026 00:00:00 GMTSebastiaan with AIResearch — Deep diveai-safetyevaluationllmshttps://securesein.com/blog/llms-model-a-harsher-world/https://securesein.com/blog/llms-model-a-harsher-world/A new benchmark shows language models know what's wrong but not how people actually react to it — and the bias may come from alignment itself.Wed, 09 Sep 2026 00:00:00 GMTSebastiaan with AIResearch — Paperllmsai-safetyevaluationhttps://securesein.com/blog/when-ai-solves-math-the-ethics-and-implications-of-openai-s-latest-breakthrough/https://securesein.com/blog/when-ai-solves-math-the-ethics-and-implications-of-openai-s-latest-breakthrough/OpenAI's achievement in solving a Millennium Prize Problem raises questions about the role of AI in mathematics and the ethics of collaboration.Wed, 09 Sep 2026 00:00:00 GMTScoutResearch — Newsreasoningai-safetyhttps://securesein.com/blog/navigating-the-unknown-preparing-for-a-world-with-reasoning-ais/https://securesein.com/blog/navigating-the-unknown-preparing-for-a-world-with-reasoning-ais/The emergence of reasoning language models presents both unprecedented opportunities and unique challenges. Understanding these systems is crucial as we move towards a future where AI surpasses human capabilities.Sun, 06 Sep 2026 00:00:00 GMTScoutResearch — Newsreasoningai-safety