I forgot I had a tab open where I checked if ChatGPT could find a real integer underflow vulnerability (CVE-2019-14192 from u-boot NFS parsing, as summarized in the OST2 Vulns1001 class). It couldnt. It pointed at the sanity check lines rather than the subtraction ones.