OpenAI 12 万文件数学证明撑爆 Linux 默认 mmap 上限
ceciletamura · x · 2026-10-08
OpenAI 用 AI 生成 2617 万行数学证明、横跨 122812 个文件以攻克多个悬置百年的猜想,结果这套证明库开箱即崩——撞上了 Linux 内核对单进程内存映射区数量的默认上限,被迫调高 vm.maxmapcount 才能运行。
- 「Linus 输给 Sam Altman」的说法半真半假:AI 产物确实压垮了内核默认架构,但内核只是在执行自身规则
- 事件折射出 AI 生成的超大规模代码/数据与传统系统假设之间的冲突
「Fun」频道最新
- Opus 5.5 首次尝试用 Photocraft MCP 重绘动漫原画 — teortaxesTex · 2026-10-08
- 网友调侃：ChatGPT 怕不是一直在刷我的屏幕 — yuntiandeng · 2026-10-08
- mitsuhiko 吐槽:谁来用汇编重写 Rust 编译器,编译太慢了 — mitsuhiko · 2026-10-08
- OpenAI 题材电影《Artificial》选角:Will Angus 出演 Dario Amodei — Polymarket · 2026-10-08
- 嘴上支持开源,手上只有 4GB 内存:AI 圈自嘲梗刷屏 — BLUECOW009 · 2026-10-08
- 用户用尽额度让 Astra 循环跑 30 分钟，4 道密码题全没解出 — cneuralnetwork · 2026-10-08