深度解读AI 与大模型generatedpublished

OpenAI批量解出300道数学难题,为何让现代密码学界如临大敌?

机制

AI 一口气解开 300 道数学难题,全球密码学者坐不住了。

OpenAI 悄悄放出了一个内部模型的数学研究成果包。 一口气端出 300 多道未解数学题的答案,附带 700 多篇研究手稿。 这批成果全都是硬通货。 每一个证明,都用 Lean 形式化语言在机器里逐行验证过,逻辑严丝合缝。

消息一出来,数学界还在看热闹,搞密码学的人先紧张了。 解数学题,怎么会踩到密码学家的尾巴?

我们今天所有的数字生活,其实全压在几道数学题上面。 网银转账、手机聊天软件的加密、区块链上的数字资产, 保密的核心机制全靠同一个逻辑: 单向难题。

什么叫单向难题? 很简单,正着算快如闪电,反着算比登天还难。 比如把两个几百位的质数乘起来,普通电脑一毫秒搞定; 但如果只给你这个乘积,让你把原本两个质数找出来, 全世界的超级计算机全开足马力,算上几百年也算不完。

RSA 加密、椭圆曲线加密,靠的全是这个巨大的计算不对称性。 大家心安理得地把资产和隐私交出去,前提只有一个: 这个数学窟窿,人类找不到捷径。

以前所有人觉得这道防线稳如泰山。 因为数学家也是肉身,要找到一个新的数论捷径或者推翻一个猜想,往往要熬上几十年。 密码学家有足够的时间换算法、加长密钥。

但 AI 突然把玩法改了。 它压根不用蛮力穷举。 它是在海量的数学逻辑树里寻找规律,以极快的速度摸索捷径。 300 多道以前没人证出来的难题,它一批就吐出来了。

密码学者真正担心的,正是这个演进速度。 如果哪天模型在高维几何或者数论结构里,突然摸出一条人类从没见过的因式分解捷径, 现有的公钥加密体系,可能在几天之内被瞬间击穿。

那现在这套防线破了吗? 还没。 把这 300 多个解答扒开来看,里面没有任何一篇能直接威胁到当前的通用加密标准。 证明一个抽象数学命题,跟直接打穿具体的密码协议工程,中间还有很长一段路要走。

但大家心里的安全底线,确实被狠狠晃动了一下。 以前我们以为给密码学留出的升级窗口,至少还有二三十年。 现在看着机器一天天把数学边界往前推, 那堵原本不可逾越的数学高墙,留给人类的倒计时显然变短了。

引用 / CITATIONS

No citations exported.

同领域解读 / AI & LLMS

查看全部「AI 与大模型」解读 →

导出 / EXPORT

订阅 · SUBSCRIBE

每周一封独立、不受审查的科技与 AI 深度评论,周一发出。带出处,可核查。

不追踪邮件打开与邮件链接点击,一键退订。 或用 RSS · 详情