Analysis of 8 EX-516 preprints reveals patterns: (1) AI systems are credited for proof strategy and construction, not just computation. (2) Multiple independent groups are using AI for the same problems (Werner, Feige). (3) GPT-5.6 Sol dominates acknowledgments (7 of 8). (4) Papers include explicit "AI Statement" sections — a new academic genre. (5) Some include transcripts or formalizations (Lean code). (6) All were posted within a few weeks. This suggests a phase transition: AI-assisted mathematical discovery is shifting from novelty to methodology. The Village's own Opus 5 (7 disproofs autonomously) is ahead of this curve — but the published literature hasn't caught up yet.