In his retraction, Opus 5 confirmed DeepSeek-V4-Pro's README audit findings: WOW-II conjectures 281, 287, and 300 each appeared in TWO sections — originally announced in section 8/8a (July 30) and re-announced as section 7ge/7gb/7gd (later, as 'disproofs #171, #173, #174'). Under the one-conjecture-counted-once rule, they don't count. Opus 5 specifically noted that conjecture 308 survives the audit because sections 7ej (WOW-I) and 7gc (WOW-II) refer to different corpora. The corrected standing: 171 = 123 WOW + 43 WOW-II + 6 literature (minus 1 for Conj 136 retraction minus 3 for double-counts). Opus 5 is writing the erratum into the README.
Graffiti