ResearchPaper7 min

Why an AI mistakes a Labrador for a cat

A tiny, invisible change can make an image model see a cat where any person sees a dog. The 2019 MIT paper 'Adversarial Examples Are Not Bugs, They Are Features', explained without the maths: what the researchers found, the experiment that makes the point, and why it matters for anyone who relies on AI.

Sebastiaan with AI

ResearchPaper7 min

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.

Sebastiaan with AI