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啊。
10月6日，OpenAI一口气公开了722篇由内部AI模型生成的数学手稿。
人类卡了几十年的数论悬案，AI仅用8页纸就给秒了？
「让AI像牛顿一样思考」，这件事，终于有望了。
OpenAI还有数学发现没公开？
Axiom的AxiomProver用24天将有限单群分类定理（CFSG）形式化，生成4310万行Lean代码，并发现34处重大逻辑偏差、修补不平衡群定理漏洞及证明新定理。
计算复杂性理论要变天了。
100 多位顶尖数学家，耗费数十年，写下 1.5 万页证明。
9月8日，OpenAI扔出一份证明，宣称攻克了纳维－斯托克斯这道千禧难题。
理论计算机界，也被 AI 轰炸了！