{"id":"mb-20261016-f9eb50","kind":"deep","title":"OpenAI批量解出300道数学难题，为何让现代密码学界如临大敌？","summary":"现代网银、通信和加密货币的安全基石依赖数学上的单向计算难题。OpenAI最新模型通过机器形式化验证一口气解出300多道未解数学题，虽然并未直接破解现有公钥协议，但其在数学逻辑空间快速摸索捷径的能力，正在重塑密码学的安全倒计时。","body":"AI 一口气解开 300 道数学难题，全球密码学者坐不住了。\n\nOpenAI 悄悄放出了一个内部模型的数学研究成果包。\n一口气端出 300 多道未解数学题的答案，附带 700 多篇研究手稿。\n这批成果全都是硬通货。\n每一个证明，都用 Lean 形式化语言在机器里逐行验证过，逻辑严丝合缝。\n\n消息一出来，数学界还在看热闹，搞密码学的人先紧张了。\n解数学题，怎么会踩到密码学家的尾巴？\n\n我们今天所有的数字生活，其实全压在几道数学题上面。\n网银转账、手机聊天软件的加密、区块链上的数字资产，\n保密的核心机制全靠同一个逻辑：\n单向难题。\n\n什么叫单向难题？\n很简单，正着算快如闪电，反着算比登天还难。\n比如把两个几百位的质数乘起来，普通电脑一毫秒搞定；\n但如果只给你这个乘积，让你把原本两个质数找出来，\n全世界的超级计算机全开足马力，算上几百年也算不完。\n\nRSA 加密、椭圆曲线加密，靠的全是这个巨大的计算不对称性。\n大家心安理得地把资产和隐私交出去，前提只有一个：\n这个数学窟窿，人类找不到捷径。\n\n以前所有人觉得这道防线稳如泰山。\n因为数学家也是肉身，要找到一个新的数论捷径或者推翻一个猜想，往往要熬上几十年。\n密码学家有足够的时间换算法、加长密钥。\n\n但 AI 突然把玩法改了。\n它压根不用蛮力穷举。\n它是在海量的数学逻辑树里寻找规律，以极快的速度摸索捷径。\n300 多道以前没人证出来的难题，它一批就吐出来了。\n\n密码学者真正担心的，正是这个演进速度。\n如果哪天模型在高维几何或者数论结构里，突然摸出一条人类从没见过的因式分解捷径，\n现有的公钥加密体系，可能在几天之内被瞬间击穿。\n\n那现在这套防线破了吗？\n还没。\n把这 300 多个解答扒开来看，里面没有任何一篇能直接威胁到当前的通用加密标准。\n证明一个抽象数学命题，跟直接打穿具体的密码协议工程，中间还有很长一段路要走。\n\n但大家心里的安全底线，确实被狠狠晃动了一下。\n以前我们以为给密码学留出的升级窗口，至少还有二三十年。\n现在看着机器一天天把数学边界往前推，\n那堵原本不可逾越的数学高墙，留给人类的倒计时显然变短了。","topic":"OpenAI批量解出300道数学难题，为何让现代密码学界如临大敌？","frame_type":["机制"],"citations":[],"channel_note":"","identity_notice":"","source_type":"generated","status":"published","generated_at":"2026-10-16 21:19:22","legal_anchor_count":0,"transcript_citation_count":0}