650万行数学证明，4周交卷！Gemini 4 Carbon啃下加密协议验证硬骨头
650万行数学证明，4周交卷！Gemini 4 Carbon啃下加密协议验证硬骨头4周时间，650万行证明，困扰软件安全研究者多年的难题终于破解，还得靠AI啊。
来自主题: AI资讯
9215 点击 2026-11-12 10:47
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
4周时间，650万行证明，困扰软件安全研究者多年的难题终于破解，还得靠AI啊。
Anthropic 内部研究模型 Claude 在不到半小时内追溯出五条 NIST 椭圆曲线种子源自以 Unix 时间戳初始化的 lrand48，但该发现未攻破 ECDSA，也未还原全部曲线设计过程。