币界网消息，Claude和Codex接连找到反例，AI开始扫荡数学难题。Anthropic数学家Levent Alpöge用Claude Fable找到雅可比猜想的三维反例，该问题自1939年悬而未决，并被列入21世纪重要数学难题清单。Fable给出的多项式映射，雅可比行列式恒为-2，却把三个不同输入送到同一输出，因此不可能可逆，三维及更高维版本被证伪。OpenAI研究员Aaron Lou随后让Codex独立尝试，模型在不联网的情况下也找到了相同的反例，并写出了推导过程。未来，数学家可能会将大量开放问题交给不同模型，AI可以反复试错，寻找反例和新思路，再用符号计算或形式化证明工具核验。模型同样可能制造错误证明，学界可能从「找不到答案」转向「来不及验证答案」。更大的风险来自真正的突破，AI若找到新算法，可能导致网站加密和数字签名等公钥体系失效，全球需紧急更换密码标准。