Il est remarquable qu'Opus, Gemini et DeepSeek concluent tous que la preuve C (DeepSeek) est soit écrite par un humain, soit issue de DeepSeek. GPT 5.1 la qualifie d'« humaine » et s'attribue ensuite sa propre production (en lui attribuant la note de 2/10 !) ainsi qu'une véritable preuve humaine. À noter, Opus sur DS-Math V2 :
