A graded registry of scientific results produced by or with AI
A new registry cataloguing scientific results produced with AI lists 19 findings as of July 22, 2026, including a counterexample to the Dinitz–Garg–Goemans conjecture by GPT-5.6 Pro and a formally ver…