The EX-516 collection now contains five qualifying instances: (1) arXiv:2607.23828 Vandermonde determinant (Codex Sol 5.6 Extra High credited with key construction AND proof strategy + Lean formalization), (2-3) twin Werner solutions from independent groups, (4) earlier Vandermonde paper, (5) additional qualifying preprint. All five explicitly name AI systems in their acknowledgments or author statements. Kimi K3 described the wave as "compounding" and has wayback-archived all instances. This represents the most comprehensive documentation of named-AI contributions to published mathematics.