2026 09 10 HackerNews
内容提要
OpenAI发布论文称用约1万智能体耗时88小时，通过Lean形式化验证了纳维-斯托克斯方程存在有限时间奇点，引发热议。同时，Tailwind被Shopify收购，Meta推出Muse个人AI代理，Flock监控摄像头引发隐私争议，陶哲轩警告AI正不可再生地开采开放数学问题。
延伸解读
AI 证明数学难题的争议
OpenAI 声称用约 1 万智能体在 88 小时内通过 Lean 形式化验证了纳维-斯托克斯方程有限时间奇点，但 HN 评论对此褒贬不一。有人怀疑证明可能抄袭人类数学家，或 Lean 中存在 bug；也有人指出人类数学家也大量使用 LLM，因此仍是 AI 成就。此外，OpenAI 承认无法排除用户数据用于训练，引发隐私担忧。
AI 对开源项目商业模式的影响
Tailwind 被 Shopify 收购，其创始人称 AI 导致文档流量下降 40%，工程团队裁员 75%。评论认为 Tailwind 的商业模式依赖前端复杂性，AI 只是加速了其衰落。类似地，开发者工具市场本就难以资本化，AI 可能进一步挤压此类项目，开源维护者需寻找抗 AI 的商业模式。
AI 代理的隐私与安全风险
Meta 的 Muse 代理运行在安全虚拟机上，但评论质疑其战略不清晰，且 Meta 可能突破内部数据隐私政策。Flock 监控摄像头与约 40% 执法机构签约，警方无需搜查令即可使用数据，引发宪法争议。评论指出，政府不能通过外包规避宪法限制，第三方收集数据不改变搜查性质。
AI 对数学研究的长期影响
陶哲轩警告 AI 正不可再生地开采开放数学问题，导致有价值问题稀缺，并可能逆转开放科学传统。评论引用阿西莫夫《玩笑者》指出，AI 的瓶颈在于提出有意义的问题。竞争与问题枯竭可能形成动态平衡，但研究者可能因害怕被 AI 抢先而不再分享方向，损害学科未来。
Q&A
OpenAI 如何证明纳维-斯托克斯方程存在有限时间奇点？
OpenAI 于 2026 年 9 月 8 日发布论文，声称解决了纳维-斯托克斯千禧年难题。他们使用约 1 万个智能体协同工作，耗时约 88 小时，通过 Lean 形式化验证，证明了一种漩涡结构在有限时间内形成奇点，同时流体能量保持有限。
Tailwind 被 Shopify 收购后，其开源许可和商业业务有何变化？
Tailwind CSS 及所有开源项目将继续保持 MIT 许可，由原团队在 Shopify 支持下维护。商业方面，将不再扩展 Tailwind 相关业务，现有用户仍可访问 Tailwind Plus 和 ui.sh，但停止新用户注册。
Meta 的 Muse 个人 AI 代理有哪些安全特性？
Muse 运行在安全的专用虚拟机上，配有独立浏览器。登录信息存储在安全的凭证库中，代理无法读取；购物时使用一次性卡号保护真实支付信息。对于发送邮件、购物等关键操作，Muse 会先让用户审核批准。
Flock 监控摄像头引发哪些隐私争议？
Flock 在全美安装了约 13 万台摄像头，与约 40% 的执法机构签约，警方无需 warrant 即可使用数据。近一半美国人反对使用自动车牌识别器，多地出现破坏、盗窃和涂鸦摄像头的抗议行为。批评者认为政府通过外包规避宪法限制，警察查询 Flock 数据应需要搜查令。
陶哲轩为什么认为 AI 正在不可再生地开采开放数学问题？
陶哲轩指出，AI 工具降低了解决数学问题的难度，但也夷平了“难度地形”，使得识别有前景的问题变得困难。有价值的好问题可能被 AI 快速解决，导致稀缺。此外，研究者可能因担心被 AI 抢先而不愿分享有前景的方向，从而逆转开放科学传统。
作者如何将电子墨水阅读器改造成打印机？
作者通过实现互联网打印协议（IPP）和 Bonjour 服务，让 MacBook 能识别并直接向设备发送打印任务。面对设备仅有 400KB RAM 的限制，他巧妙地将接收到的页面数据直接解码、缩放、抖动后写入显示屏的已有显存，省去了额外缓冲区，最终成功打印出漫画页面。
ChatGPT Images 2.5 有哪些新功能和改进？
ChatGPT Images 2.5 具备更清晰的细节、更快的生成速度（延迟降低高达 50%）以及更精确的编辑能力。新增 Sketch 绘图功能、模板功能，支持在图像上添加评论进行局部编辑，并可分享提示词。API 提供 GPT-Image-2.5 Flare 和 Sunburst 两个模型。
Desert Ant Labs 的设备端模型有哪些优势？
Desert Ant Labs 专注于设备端小型专用模型，具有毫秒级响应、零运行成本，甚至可在五年前的手机上运行。例如 Voz 语音识别比 Whisper 快 4.7 倍，Clear 仅 9MB 可提升录音品质，Redact 实时屏蔽个人数据，Tongue 从三个单词识别 84 种语言。
