Tag

software

5 entries

GroupSort

Type

Field

5 of 5

Writing4

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 run with 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".
WritingAn OEIS editor asked what my "certificates" proved, and I changed how I label evidence· Sep 26, 2026
WSJF is provably the best order for independent work. One dependency, or SAFe's scoring sheet, can make it put the wrong item first.
WritingWSJF rests on a theorem from 1956, and these are the places its conditions break· Jul 16, 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