Tag

methods

4 entries

GroupSort

Type

Field

4 of 4

Writing3

When you hand someone results made with AI agents, they need to know what they can check from what you gave them and what they have to take on trust. An editor of a public math database asked me exactly that about a count I had added. The honest answer was "at least this many", not "exactly this many".
WritingAn OEIS editor asked what my "certificates" proved, and I changed how I label evidence· Sep 26, 2026
I keep a record of every error a check caught in my math work with AI agents: who made it and what caught it. Two of them changed how I check everything.
WritingThe record I keep of errors my checks caught, and two that changed how I work· Sep 11, 2026· 2 versions
When I rechecked everything an AI model produced during a switch I had not been told about, every computed number came out the same when it was recomputed. The errors were in the wording around the numbers and in how some checks had been done; one real finding had also gone unnoticed.
WritingHow results here get checked, and what a full recheck after an AI model switch found· Jul 17, 2026

Paper1

A case study of my own AI agent team: what the lead agent's check before accepting work caught, and what got past it.
PaperAcceptedVerify Before You Accept· Oct 20, 2026