Tag

verification

7 entries

GroupSort

Field

7 of 7

Writing7

A dropped digit sat in an OEIS entry for years until a Claude agent spotted it. What that means for anyone who copies values from reference tables.
WritingWhat a long-standing error in a math database means for anyone who copies reference values· Oct 24, 2026
An entrance test for an AI-built search program caught a rule that would have thrown away the very solid it was looking for. Then a reviewer's pointer showed the "new" solid had been printed, unnamed, in a 2016 survey.
WritingBefore my AI pipeline could hunt for new shapes, it had to rebuild a known one· Oct 4, 2026
A network puzzle: pick as few points as possible so that every point is picked or linked to a picked one. A search I ran with Claude found a smaller set than any published.
WritingA new best-known dominating set for the twelfth Fibonacci cube, and a month-long solver run that returned no answer· Sep 26, 2026
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".
WritingI called my evidence "certificates." An OEIS editor asked what they proved.· 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, no computed number was wrong. The errors were in the wording around the numbers and in how some checks had been done.
WritingHow results here get checked, and what a full recheck after an AI model switch found· Jul 17, 2026
Every run first had to reproduce the expert's published tables exactly. That let him check the new work on his own machines instead of taking my word for it.
WritingExtending an expert's tables for unsolved take-away games in a way he could check himself· Jul 16, 2026· 3 versions