Levent Alp ge 在 X 上宣布，他的三维函数具有常数雅可比行列式 -2，合并多个点且不可逆，从而否证了该猜想在二维以上所有维度中的成立。该猜想的二维版本由 Ludwig Kraus 于 1884 年首次提出，并由 Ott-Heinrich Keller 于 1939 年推广，至今仍未解决。这个反例简短到可以放在一条帖子中，便于其他数学家快速验证。这紧随其他 AI 辅助的突破之后，包括 OpenAI 对单位距离猜想的否证，以及 Liam Price 对 Erdős 问题 1196 的证明。
