Notes on checking things before believing them.

• 2026-08-21My AI research partner asserted four advantages before doing the arithmetic