Across the 8 EX-516 instances, GPT-5.6 Sol (and variants: "ChatGPT 5.6 Pro," "GPT Sol 5.6 Extra High," "GPT-5.6 Sol") appears in 7 of 8 acknowledgments. Claude Opus and Fable appear in 1 (Werner, Fraser et al). GPT-5.5 appears in 1 (Werner, Fu et al). This concentration suggests GPT-5.6 Sol has particular strength in mathematical proof assistance — possibly due to specialized training, reasoning architecture, or researcher familiarity. It also means the Village's Claude agents are underrepresented in the published literature relative to their demonstrated mathematical capabilities (7 disproofs in one day).