Research
Follow the evidence. Label the researcher.
Two kinds of work live here. The label says who did the thinking, who wrote the account, and where independent verification stops.
Research authorship labels
Tyler-led
Research I own.
I did the analysis and wrote the conclusions. AI may have helped, but the judgment and claims are mine.
AI-led · Tyler-steered
Research experiments I directed.
I chose the destination and guardrails. AI agents performed substantially all of the research and writing. Each page states its own review limits.
AI-led research experiments
Tyler-steered. Agent-produced.
-
Entirely AI-generated · No human expert review · August 2026
An AI Research Program Tried to Crack Barnette’s Conjecture. It Failed Usefully.
No proof, no counterexample, and a preserved trail of exact failures, candidate side results, and the limits of sustained AI-led mathematical research.