87年間の予想が、1つのX投稿で覆された。 マップは(\det J\equiv-2)であるが、3つの異なる点が同じ像を持つ。 これが矛盾である：局所的には至る所で可逆だが、大域的には単射ではない。 AIは数学を説明しただけでなく、反例の発見を支援した。