Adaptive Institute

Newsletter · monthly

The Proof Log

Once a month: the proofs we published, how their reviews went, what failed, and which courses and calls are open. Every item links to its evidence.

The Proof LogNo. 007 · 2026-10-01

Latest issue

Two products verified, and a certificate revoked

Three things happened in September that we want on the record: two products finished public review, one certificate was revoked after a public reviewer found a flaw, and the November cohorts opened. Everything below links to its evidence.

  1. AI-PRF-0007Methane 3D Satellite Tracker
  2. AI-PRF-0009Cybersecurity
  3. AI-PRF-0011Methane plume detection from public satellite data

+ 3 review results · 2 notes from the lab · 2 open calls

Read No. 007

Archive

Every issue

Nothing is edited after it is sent. Corrections go in the next issue.

  1. No. 007

    Two products verified, and a certificate revoked

    The Methane tracker and the Cybersecurity pipeline pass public review; why AI-CRT-0002 was revoked; November cohorts open.

    ProductsResearchCourses
  2. No. 006

    The review protocol, in practice

    First proofs through all three stages; the median-background change request; AI for Police enters review.

    ProductsResearch
  3. No. 005

    Replayable traffic, published

    A labelled set of network flows anyone can replay against detection rules, with the rules we use.

    Research
  4. No. 004

    Methane tracker v1.3, and its limits

    Bright-surface shading, a land-mask fix, and a plain list of what the tracker cannot tell you.

    Products
  5. No. 003

    Courses that end in a proof

    The first three premium courses and the projects their certificates depend on.

    CoursesLecture notes
  6. No. 002

    Certification by proof

    The three-stage review protocol, published before the first certificate.

    Research
  7. No. 001

    Why a proof log

    What this letter will contain every month, and what it never will.

    Notes

Design reference

Signup states

The compact footer variant, frozen in each state. The live forms above and in the footer move through them.

  • Default

    Empty field, Subscribe ready. Interests are optional.

  • Focused

    Focus ring in signal ink, same as every input on the site.

  • Invalid email

    Checked on submit, not while typing. The message says how to fix it.

  • Submitting

    Button disabled and labelled, so a double click sends one request.

  • Check your inbox

    Double opt-in: nothing is sent until the link is clicked.

  • Already subscribed

    No error tone. Points to the archive and the preferences link.