What makes a system agentic?
How models, tools, memory and an environment combine into a system that acts.
What makes a system agentic?Notes
A clear way into the questions.
Explain a concept, explore an example or read an argument. Notes brings together the explanations, interactive work and writing without replacing their individual pages or source records.
Explain
Three concepts, without the prerequisite vocabulary
Each explanation begins with a question and a concrete example.
Why can history change behaviour?
Why the latest response is not the whole interaction, and earlier actions can change what happens next.
Why history mattersHow do controlled experiments help?
How a declared comparison and controls distinguish competing explanations.
How controlled comparisons workExplore
Work through a result or change an example
Interactive arithmetic, statistical explanations and illustrative experimental designs offer different ways to examine the work.
Erdős 364: the 17/41 result
Can three consecutive positive integers all be powerful? Paper I gives a public partial result in a stated shifted-square/Lucas-sequence setting. Erdős 364 remains open. Choose the explanation, the visual story or the source.
Read
Paper I, explained interactively
Follow the argument with exact arithmetic you can change, then choose the theorem, proof or workflow route.
Explore the interactive explanationWatch
One candidate, several angles
A 73-second animation of the 17/41 obstruction, with an eight-section static storyboard. A visual explanation, not an additional proof.
Watch the Paper I animationVerify
Paper I article and source
The public mathematical paper and release, v1.0.0, with hypotheses, exact verifier, replay checks and Lean sources. Self-published, not asserted peer-reviewed.
Inspect the public releaseAI behaviour and statistics
When does a warning help?
Timely, false, missed and unavailable warnings. Scripted CARF illustrations explain the distinctions; they are not measurements of an AI system.
Explore warning examplesDesign a controlled comparison
Change factors and controls in the CARF design explorer. An illustrative design, not a frozen protocol or completed experiment.
Open the design explorerWhat does coverage mean?
See how repeated-sampling coverage depends on the design and method, then inspect the ExactCIs software.
Explore the coverage explanationRead
Arguments, guides and public papers
Read the longer account, with its evidence and limitations. Online publication alone does not imply peer review.
Safety Is Retrospective
A public article / position paper on historical safety failures and the limits of retrospective assurance.
Read Safety Is RetrospectiveEssays and notes
Longer arguments published on Overdog first, with any syndicated versions identified alongside them.
Browse published writingThe Paper I illustrated guide
A long-form companion to the mathematical result, for reading the story rather than operating the interactive example.
Read the illustrated guideFollow the specific source
For papers and releases, use the classified outputs catalogue. For evidence and limits, go directly to CARF evidence, ExactCIs methods and fixtures or E364 sources. The public ExactCIs package is available independently of these explanations.