Another scenario also just surfaced: https://news.ycombinator.com/item?id=49657499 – the construction used by Anthropic for the Jacobian Conjecture counterexample appears to have existed in an unpublished but publically available document. This document of course wasn't referenced in the announcement (nor did we ever get to see the prompt or reasoning traces).