登录
注册
据 Woofun AI 消息,Anthropic 研究员 Levent Alpöge 利用 Claude Fable 找到了雅可比猜想的一个三维反例。该问题自 1939 年提出以来长期未解,Fable 提供的多项式映射函数雅可比行列式始终为 -2,但将三个不同输入映射至相同输出,证明其不可逆。随后,OpenAI 研究员 Aaron Lou 让内部 Codex 模型在离线环境下尝试解决,该模型也找到了相似反例并给出推导过程。
这一进展表明,人工智能可通过反复试错寻找反例或漏洞,再结合符号计算工具进行验证,从而加速科学发现。然而,模型也可能生成看似严谨实则错误的证明,导致学术界面临"无法验证答案"的新挑战。更深层的风险在于,若 AI 能高效突破大整数分解或离散对数问题,RSA、Diffie-Hellman 及基于 Curve 的加密技术将面临威胁,网站加密、数字签名、银行交易及区块链公钥系统的安全性可能受损,迫使全球紧急更新加密标准。