从 46 条内容中筛选出 6 条重要资讯。
科技新闻
- GitLab 紧急修复 CVSS 10.0 未授权任意文件读取漏洞 ⭐️ 8.0/10
- 陶哲轩谈 AI 与数学界的严重错位 ⭐️ 7.0/10
- Simon Willison 推荐 Python 猴子补丁库 wrapture ⭐️ 7.0/10
- LLM 辅助的 Linux 内核构建加速补丁系列 ⭐️ 7.0/10
- OpenAI 考虑放缓前沿 AI 开发 ⭐️ 7.0/10
- OpenAI API 上线 GPT-Live-1 实时语音模型 ⭐️ 7.0/10
科技新闻
GitLab 紧急修复 CVSS 10.0 未授权任意文件读取漏洞 ⭐️ 8.0/10
GitLab 于 9 月 10 日发布 19.3.2、19.2.6 和 19.1.8 三个分支的紧急补丁,修复编号为 CVE-2026-85706 的漏洞,官方给出的 CVSS 评分为满分 10.0。该漏洞源于代码仓库 commits API 的路径约束与认证缺陷,在特定条件下未认证用户可读取 GitLab 服务器上的任意文件。受影响范围包括 18.7 至 19.1.8 之前的版本、19.2.6 之前的 19.2 版本,以及 19.3.2 之前的 19.3 版本。GitLab 强烈建议自建实例立即升级至对应修复版本,GitLab.com 已完成修复,GitLab Dedicated 用户无需操作。该漏洞由研究员 s3ntago 通过 HackerOne 报告,官方尚未公开具体利用前置条件,网上也没有可复现的公开 PoC,暂无证据表明该漏洞已遭在野利用。
telegram · zaihuapd · 9月11日 11:05
「背景知识」 CVE-2026-85706 属于路径穿越(path traversal)类缺陷,位于 GitLab 代码仓库的 commits API 中:攻击者通过构造特制请求绕过路径约束,从而越出预期目录读取服务器上的任意文件。该漏洞同时影响 GitLab 社区版(CE)与企业版(EE),官方给出 CVSS 10.0 的最高基础评分,意味着在特定条件下无需认证即可远程利用,且对机密性影响被评定为最高等级。CVSS 10.0 并不等同于已确认的实际攻击,而是反映漏洞本身的理论严重程度;GitLab 官方补丁公告是本条消息的事实来源。
「影响」 尚未升级的自建 GitLab 实例面临未认证攻击者读取服务器任意文件的风险,管理员应立即升级到 19.1.8、19.2.6 或 19.3.2;由于利用前置条件未公开且尚无在野利用证据,实际暴露程度仍不确定。
参考链接
标签: #security, #vulnerability, #GitLab, #self-hosted, #patching
陶哲轩谈 AI 与数学界的严重错位 ⭐️ 7.0/10
2026 年 9 月 11 日,数学家陶哲轩(Terry Tao)发表博文《A severe misalignment of AI in mathematics》,讨论 AI 与数学研究之间的严重错位;《经济学人》同日刊出《顶尖数学家对 OpenAI 的做法感到愤怒》,报道相关争议,Hacker News 上的讨论帖将两者并列并引发大量评论。争议焦点并非 AI 能否解决数学难题,而是 AI 产生结果的方式如何冲击数学界分配学术 credit 的惯例,以及数学家通过彼此理解与交流来积累知识这一传统。评论者对后果判断不一:有人以望月新一与其 abc 猜想为例,指出即便出现难以理解的巨型证明,社区仍会通过会议、论文与讨论逐步消化。另有观点认为,这些难题已悬置数十年,即便阻止 AI 实验室发布证明,普通用户迟早也能通过通用模型得到结果,因此限制发布意义有限。需要说明的是,本条目的可见内容主要是该讨论串及所链接的两篇文章,未包含两篇原文的完整论证细节。
hackernews · meredydd · 9月11日 17:45 · 社区讨论
「背景」 背景是,近月来人工智能在解决重大数学问题上的表现接连登上头条,并引发数学界对研究规范与理解的争论。Terence Tao 于 2026 年 9 月 11 日发表《A Severe Misalignment of AI in Mathematics》,mathandai.org 同时发布相关《Declaration》,而《经济学人》同日报道称,24 位菲尔兹奖得主警告 AI 在人类缺乏理解的情况下解决数学问题,可能威胁数学与智力工作的根基。报道还提到 OpenAI 于 9 月 8 日宣称解决了千禧年大奖难题之一的纳维-斯托克斯方程(Navier-Stokes),似抢先了 Tristan Buckmaster 与 Levent Alpöge 的工作;TechCrunch 则称 25 位顶尖数学家签署公开信,指 AI 实验室正威胁其智力劳动。
「影响」 对数学研究者而言,最直接的后果是学术信用与评价体系受到冲击:当 AI 能够生成证明时,长期以来用“解决未解难题”来衡量贡献的标尺被削弱,研究价值重心可能转向验证与理解。与此同时,AI 实质参与证明或猜想时,署名与知识产权归属成为数学界刚刚开始面对的伦理问题,具体影响程度仍有待观察。
「社区讨论」 评论区的共同前提是 AI 已具备相应能力、单纯封锁难以奏效,分歧在于损害的性质:jeremysalwen 认为被摧毁的不是数学家发展并共享理解的能力,而是“解决未解难题”这一衡量贡献的标尺,tmhn2 则以望月新一 abc 猜想的先例保持乐观,Footnote7341 强调优先权与声望对这些陈旧难题而言并不重要。david-gpu 把陶哲轩的批评类比为 19 世纪波德莱尔对摄影的指责——机械复制只能记录既有之物、无法像绘画那样改造现实,以此反问对 AI 的贬抑是否成立。
参考链接
- A Severe Misalignment of AI in Mathematics | What's new
- Declaration — Math and AI
- Top mathematicians are outraged by OpenAI’s methods
- Top mathematicians are outraged by OpenAI’s methods
- OpenAI's feud with mathematicians is only escalating | TechCrunch
- The impact of AI on mathematical research
- Mathematics in the Age of AI: Research and Values
标签: #artificial intelligence, #mathematics, #OpenAI, #research culture, #scientific credit
Simon Willison 推荐 Python 猴子补丁库 wrapture ⭐️ 7.0/10
Simon Willison 在其博客中推荐 Graham Dumpleton 的新 Python 猴子补丁库 wrapture,称其正逐渐成为 Python 开发者不可或缺的工具,并惊讶于外界关注之少。wrapture 于 8 月 31 日首次发布,可同时服务于测试与可观测性(类似 New Relic 风格的追踪),此后 Dumpleton 几乎每天发布一篇教程。教程内容涵盖用它完成 unittest.mock 式的单元测试、将方法调用记录为时间线并以树形结构处理与展示、安排被补丁方法在多次调用中改变行为,以及对属性、字典和生成器进行猴子补丁。教程还涉及实时追踪应用、通过独立的 TOML 文件实现零代码追踪、记录单次与聚合的耗时以定位慢代码,以及将追踪导出到 OpenTelemetry;配套的 wrapture-instrumentation 包为 Flask 应用及 aiohttp.client、aiohttp.web、django、fastapi、flask、grpc、http.client、httpx、jinja2、requests、sqlalchemy、sqlite3、starlette、urllib.request、urllib3、uvicorn、werkzeug.serving、wsgiref.simple_server、xmlrpc.client、xmlrpc.server 提供插桩。Willison 指出 wrapture 仍是 alpha 软件但已相当可用,尤其因为可以只通过 TOML 文件配置、完全不修改 Python 代码就试用;此外还有一套以 JupyterLab notebook 实现的交互式工作坊。
rss · Simon Willison · 9月11日 13:51
「背景」 Python 中的 monkey patching(猴子补丁)指在运行时替换或包装已有的函数与属性,常用于构造测试替身,也被用于类似 New Relic 式的调用追踪等可观测性场景。wrapture 由 Graham Dumpleton 开发,构建在他早先的包装库 wrapt 之上,通过把绑定附加到调用点来打补丁、测试和追踪 Python 代码,而不修改被观察的代码;作者说明该包是在其指导下由 AI 编写的。wrapture 于 2026 年 8 月 31 日首次发布,此后作者几乎每天发布教程,这构成了理解其同时服务于测试与可观测性定位的背景。
「影响」 对于 Python 开发者而言,wrapture 虽仍处于 alpha 阶段,但已能通过 TOML 文件在不修改任何 Python 代码的前提下配置追踪,并借助独立的 wrapture-instrumentation 包覆盖 Flask、Django、FastAPI、SQLAlchemy、httpx、gRPC 等常用框架与库,因此可低成本地在测试与可观测性场景中先行试用。其 alpha 状态意味着在生产环境大规模采用前仍需谨慎评估。
参考链接
- GitHub - GrahamDumpleton/wrapture: Monkey patch, test, and trace Python by attaching bindings to call sites, without modifying the code being observed. Built on wrapt. · GitHub
- Introducing wrapture - Graham Dumpleton
- Don't sleep on wrapture
- GitHub - GrahamDumpleton/wrapture: Monkey patch, test, and trace Python by attaching bindings to call sites, without modifying the code being observed. Built on wrapt. · GitHub
标签: #Python, #monkey patching, #testing, #observability, #libraries
LLM 辅助的 Linux 内核构建加速补丁系列 ⭐️ 7.0/10
内核开发者 Lorenzo Stoakes 发布了一个 23 部分的补丁系列,用于显著加快 Linux 内核的构建速度;据其封面信中的总结,allmodconfig 构建最多快 36%,增量构建最多快约 70%,noop 构建最多快约 90%。他借助 LLM 先定位构建瓶颈、再寻找改进办法,但表示 LLM 生成了大量代码且“大部分很丑”,因此自己进行了大量审计与重写,并大幅修改了提交信息、封面信和注释。补丁针对多个具体环节:kallsyms 改为记录哪些 token 出现在哪些符号中,只在其可能成功的位置尝试替换(提速 2–6%);并直接输出汇编器可用的二进制数据,替代 37MB 的汇编文件(最好情况提速 11%)。在不需要时关闭 nm 的排序、让中间链接阶段不输出重定位数据,各带来约 2% 的提升;用 kallsyms 直接读取 ELF 取代 mksysmap 的 sed 流程,最好情况提速 12%;此外还引入 depcheck 工具以更高效地做依赖检查、缓存编译器特性探测结果、不分配 .modinfo 段、缓存对象是否属于模块的信息,以及按文件而非逐字节计算 modpost 的 MD4 哈希(最高提速 6%)。Linus Torvalds 对部分改动表示赞赏,并建议让 kallsyms 直接输出 ELF 对象以彻底绕开汇编器,同时提出陈旧的依赖检查机制或许可以干脆删除。
rss · LWN.net · 9月11日 14:15
「背景」 内核开发者需要频繁构建内核,而内核体积大、构建系统复杂,很少有开发者真正理解它,更少有人愿意去改进它。构建过程中,kallsyms 程序会生成一张包含全部内核符号(函数与变量名)的表,由于符号数量超过 15 万个、表体积可观且可能驻留内存,它实现了把未用字符码映射到高频子串的特殊压缩算法;构建还大量依赖 nm、modpost 等工具,以及头文件带来的庞大依赖关系。Stoakes 的工作就是在这些环节中寻找并削减不必要的开销。
「影响」 若该系列被合并,频繁构建内核的开发者将直接受益,尤其是增量构建和 noop 构建场景;不过目前它仍是 v1 系列,Torvalds 已建议部分做法可以更彻底或被替换,最终形态尚不确定。
标签: #Linux kernel, #build systems, #LLM-assisted development, #performance optimization, #patch series
OpenAI 考虑放缓前沿 AI 开发 ⭐️ 7.0/10
据彭博社援引多名知情人士消息,OpenAI 正在考虑放缓前沿人工智能开发;首席执行官萨姆·奥尔特曼本周在全员会议上表示,公司可能与其他 AI 实验室协调放慢进度,但部分公司可能不愿配合。OpenAI 近期已因安全担忧放缓部分模型开发,并暂停某些内部 AI 训练。该公司拒绝置评,其首席科学家呼吁在建立共同安全标准前自愿放缓未来开发。相关计划仍处于考虑阶段,未获官方确认,也没有具体技术或政策细节。
telegram · zaihuapd · 9月11日 02:23
「背景」 “前沿 AI”通常指各实验室正在训练的最强大、能力尚未完全定型的大模型,其训练节奏与规模被视为行业竞争的核心指标。此番讨论的背景是,随着技术对齐(alignment)难题和模型失控风险不断上升,业界开始出现自愿放缓开发、并在主要实验室之间协调安全标准的呼声。据相关报道,OpenAI 已在评估是否刻意放慢其最先进系统的开发速度,奥尔特曼此前也曾谈及负责任地控制 AI 发展节奏的重要性,而行业内研究人员的离职进一步加剧了外界对安全问题的关注。
「影响」 若这一考虑最终落地,依赖 OpenAI 前沿模型和 API 的开发者和企业可能面临新模型发布与能力升级节奏放缓、路线图不确定性上升的处境。但目前仅是内部讨论中的意向,OpenAI 拒绝置评,尚无已确认的政策、时间表或与其他实验室的协议。
参考链接
- OpenAI Considers Slowing Frontier AI Development Over Safety Concerns
- OpenAI Open to Slowing AI Development, Says CEO Sam Altman
- OpenAI Considers Slowing Frontier AI Development Over Safety ...
- Why Is OpenAI Pushing To ‘Pace’ AI Development And What Does ...
- OpenAI Open to Slowing AI Development as Safety, Security ...
标签: #OpenAI, #frontier AI, #AI safety, #AI industry, #Sam Altman
OpenAI API 上线 GPT-Live-1 实时语音模型 ⭐️ 7.0/10
OpenAI 于 2026 年 9 月 10 日将 GPT‑Live‑1 上线 API,这是一个可同时听说(全双工)的实时语音模型。该模型支持自然打断、背景噪声处理、长对话以及电话语音代理场景,并可将复杂推理与工具调用交给后端模型处理。OpenAI 表示,GPT‑Live‑1 在 Full Duplex Bench 上的表现较 GPT‑Realtime‑2.1 提升 30 个百分点。API 的语音前端定价为每分钟 0.05 美元。上述信息来自一份简短的二次转述,尚未经过独立验证,相关性能数据均出自 OpenAI 自身说法。
telegram · zaihuapd · 9月11日 03:09
「背景」 全双工语音模型指模型可同时听与说,而不必像传统轮次式语音 AI 那样等用户说完再回应,因而能在对话中自然打断和切换话轮;GPT‑Live‑1 即属于这类面向实时对话的全双工语音模型。在 OpenAI 的实时语音 API 路线中,此前的系列是 GPT‑Realtime,其首个正式可用版本可经 WebRTC、WebSocket 或 SIP 实时处理音频与文本输入,而本次报道以 GPT‑Realtime‑2.1 作为对比基线。来源提到的 Full Duplex Bench 即是用于衡量上述双工语音对话能力的基准。
「影响」 对构建实时语音代理的开发者而言,GPT‑Live‑1 以每分钟 0.05 美元的语音前端价格和更强的全双工打断处理,为电话语音等场景提供了一个可与 Gemini Live、ElevenLabs 等原生语音到语音方案直接比价的新选项。需注意,30 个百分点的提升目前来自 OpenAI 自报的 Full Duplex Bench,尚无第三方基准复现。
参考链接
标签: #OpenAI, #API, #real-time speech, #voice agents, #AI models