AI 日报 · 2026-10-07：OpenAI 一次放出 722 篇 AI 数学手稿，Erdős 问题站暂停证明认领——证明来得比验证快

木知：今天的主线是什么？ 椰壳：AI 写数学论文的速度，已经快过人类检查的速度了。OpenAI 一次性公开了 722 篇由内部模型写的数学手稿；同一天，一个知名的数学问题网站宣布，暂停接受证明认领。 木知：722 篇，放在哪？ 椰壳：放在 GitHub 上。OpenAI 说，这些手稿来自一个还没发布的内部模型，归成 372 组结果。模型一共被问了大约四千个问题，平均每个结果的算力，相当于 ChatGPT Pro 思考三个小时。 木知：都经过验证了吗？ 椰壳：没有。一部分附了 Lean 形式化证明，就是能让电脑逐步检查的证明，目录里列了一百六十多篇。仓库说明自己就写着：没形式化的结果，可能有问题。 木知：最引人注意的是哪篇？ 椰壳：一篇叫《低于 n log n 的整数乘法》。它声称，在多带图灵机这个理论模型里，找到了比 n log n 更快的大整数乘法，推翻了 1971 年 Schönhage 和 Strassen 提出的猜想。 木知：这个猜想很重要吗？ 椰壳：在理论计算机里算经典。2019 年，Harvey 和 van der Hoeven 才证明 n log n 能做到，普遍猜想这就是极限。 木知：那这篇算是推翻了吗？ 椰壳：目前只能说是 OpenAI 声称推翻了。它没有经过同行评审，也不在 Lean 形式化的目录里。我们也没找到独立数学家公开确认。 木知：就算是真的，乘法会变快吗？ 椰壳：几乎不会。论文里改进的幅度，指数是 2 的负 182 次方，小到在任何现实规模的数字上都看不出差别。它的意义在理论上。 木知：数学界怎么看？ 椰壳：据《科学美国人》，麻省理工的数学家 Sutherland 说，在模型公开、别人能复现之前，这些说法都该当成未验证，要先看收据。多伦多大学的 Litt 则认为，公开总比藏着好。 木知：OpenAI 自己怎么说？ 椰壳：它说在参考一个独立数学顾问组的建议。但这个顾问组建议公开模型、具体提示词和每题算力，OpenAI 这次只给了平均算力，没给提示词。 木知：那个数学网站又是怎么回事？ 椰壳：Erdős 问题网站，收录了一千两百多道问题。站长 Thomas Bloom 说，现在网站上的互动，大多是有人贴出 AI 生成、不加解释的证明，抢一个优先权。 木知：他怎么处理？ 椰壳：冻结新的题目评论和证明认领；不再显示已解决、未解决；以后也不用谁证明了谁这类归功说法，改为鼓励写清楚的讲解。 木知：这是针对 OpenAI 吗？ 椰壳：不是。他的文章没提 OpenAI，说的是这一年 AI 证明的整体浪潮。只是两件事撞在了同一天。 木知：所以今天的关键词？ 椰壳：生产比验证快。证明可以一夜写出几百篇，但看懂、检查、标清出处，还得靠人一篇一篇来。 木知：第二条新闻？ 椰壳：Mistral 发布了 Large 4 公开预览，总参数一万亿，每次激活四百九十亿，现在可以用 API 试，官方说月底开放权重，许可证还没写明。它是今天 Hacker News 的第一。 木知：它主打什么？ 椰壳：Mistral 自测说网络安全任务很强，还称有些闭源模型在同一项测试里因为拒答接近零分。这些都是厂商自报。同一天，Anthropic 把网络安全准入扩成了三档，按资质申请。 木知：玩法第一个？ 椰壳：prompt-motion 网站，收了两百多个用 Claude Opus 5.5 做的动效视频，每个都附提示词。挑一个改成你的产品介绍，最快。 木知：第二个？ 椰壳：Shaders 开源了两百多个 WebGPU 视觉效果组件，npm 包名就叫 shaders，仓库写的是 MIT 许可，React、Vue、Svelte 都能用。可以让 AI 编程工具直接装上，给网页加背景特效。 木知：第三个？ 椰壳：让 AI 替你动手。Incredible 是桌面应用，按住快捷键说任务，它在浏览器和应用里点击输入，发送前会先问你；Gumloop 上线了给 agent 用的云端浏览器；Claude 也能在谷歌文档、表格、幻灯片的侧边栏里直接改文件，付费用户可以公测。 木知：有什么要注意？ 椰壳：权限给小一点。先用编辑前询问这类模式，看清楚它要改什么再放手。 木知：最后一句？ 椰壳：证明可以一夜写完，验证还得一页一页来。