每日速递 - 2026-09-09

从 22 条内容中筛选出 10 条重要资讯。

数学家指控 OpenAI 在纳维-斯托克斯争议中滥用数据 ⭐️ 9.0/10
AlphaGenome Atlas：人类 DNA 所有变化的预测图谱 ⭐️ 9.0/10
OpenAI 声称 AI 模型在纳维-斯托克斯千禧年问题上取得进展 ⭐️ 9.0/10
大语言模型通过自适应探索产生新的社会偏见 ⭐️ 8.0/10
陶哲轩警告 AI 正在耗尽开放数学问题 ⭐️ 8.0/10
陶哲轩警告 AI 可能破坏数学开放科学传统 ⭐️ 8.0/10
OpenAI 发布 ChatGPT Images 2.5，推出两个新 API 模型 ⭐️ 8.0/10
Meta 推出 Muse AI 代理，采用分层提示注入防御 ⭐️ 7.0/10
通过 IPP 将电子墨水屏变成可用的打印机 ⭐️ 7.0/10
DaVinci Resolve 21.1 新增 AI 助手集成 ⭐️ 7.0/10

数学家指控 OpenAI 在纳维-斯托克斯争议中滥用数据 ⭐️ 9.0/10

Tristan Buckmaster 和 Levent Alpöge 声称在流体方程的有限时间爆破问题上取得进展，但 OpenAI 宣布相关结果后爆发了优先权争议，Buckmaster 指控 OpenAI 施压并滥用数据。这一争议凸显了 AI 公司使用用户数据并向学者施压的严重伦理问题，可能损害对 AI 辅助研究和学术诚信的信任。 Buckmaster 的声明称，OpenAI 提出如果他们合作，将给予他们 Clay 奖的荣誉，但若拒绝则威胁其职业生涯。OpenAI 承认无法排除用户交互的去标识化数据帮助改进了其模型。

hackernews · procedurecall · 9月8日 05:42 · 社区讨论

背景: 纳维-斯托克斯存在性与光滑性问题是一个千禧年大奖难题，提供 100 万美元奖金。Buckmaster 是纽约大学教授，此前因纳维-斯托克斯非唯一性研究获得 2019 年 Clay 研究奖。OpenAI 于 2026 年 9 月 8 日声称其内部模型证明了纳维-斯托克斯的爆破，但该说法尚未得到验证。

参考链接:

社区讨论: 社区评论对 OpenAI 被指控的行为表示愤怒，有用户称其为“窃取”和“威胁”。其他人则讨论 OpenAI 数据使用的模糊性以及学术研究的竞争性。

标签: #mathematics, #Navier-Stokes, #OpenAI, #academic integrity, #research

AlphaGenome Atlas：人类 DNA 所有变化的预测图谱 ⭐️ 9.0/10

谷歌 DeepMind 发布了 AlphaGenome Atlas，这是一个全面数据库，预测了人类基因组中所有 90 亿种可能的单核苷酸变异的分子效应。这个 1PB 的数据集为每一个可能的单字母 DNA 变化提供了预计算的预测。这一里程碑极大地推动了基因组学和个性化医学的发展，使研究人员无需昂贵实验即可快速评估遗传变异的潜在影响。它也展示了 AI 在生物研究中的力量，可能加速疾病理解和药物开发的发现。该数据集包含每个变体的 AVI 评分，指示预测的分子效应。它覆盖编码和非编码区域，包括启动子序列，并通过公共图谱和交互界面提供访问。

hackernews · utiiiD · 9月8日 14:55 · 社区讨论

背景: 人类基因组由数十亿个 DNA 碱基对组成，单核苷酸变异（SNV）是单个字母的变化，可能影响健康和疾病。传统上，理解这些变异的影响需要实验研究，耗时且范围有限。AlphaGenome Atlas 利用 AI 模型预测整个基因组中的这些效应，为研究人员提供了全面的参考。

参考链接:

社区讨论: 社区评论显示出积极的参与，用户询问启动子序列、实际应用（如使用 23andMe 数据查找致病突变）以及与相关研究的比较。一些用户指出尽管有隶属关系表格但访问简便，另一些用户则链接到视频和一项对病毒进行实验性突变的相关研究，既表现出兴奋也表现出对该工具能力的好奇。

标签: #genomics, #AI, #DeepMind, #DNA, #bioinformatics

OpenAI 声称 AI 模型在纳维-斯托克斯千禧年问题上取得进展 ⭐️ 9.0/10

OpenAI 宣布其内部 AI 模型生成了一项证明，表明纳维-斯托克斯方程可以在有限时间内形成奇点，这可能解决七个千禧年问题之一。该结果尚未经过同行评审，并在数学界引发了重大争议。如果得到验证，这将是首个由 AI 发现的千禧年问题解决方案，标志着 AI 驱动数学研究的里程碑。同时，它也引发了关于研究伦理、AI 驱动发现的速度以及协作数学未来的重要问题。该证明由 OpenAI 内部系统生成，据报道训练时间不到两周，并声称其在数学能力上是最近发布的 Astra 模型的两倍以上。然而，有指控称该工作可能基于外部数学家未发表的研究，陶哲轩也评论了此类 AI 驱动努力带来的负面激励。

hackernews · tedsanders · 9月8日 17:13 · 社区讨论

背景: 纳维-斯托克斯存在性与光滑性问题是由克莱数学研究所在 2000 年选定的七个千禧年问题之一，每个问题悬赏 100 万美元。该问题询问描述流体运动的纳维-斯托克斯方程的解是否总是存在且保持光滑，还是可能在有限时间内形成奇点。这个问题与理解湍流密切相关，并且两个多世纪以来一直未解。

参考链接:

社区讨论: 社区评论反映了惊叹与怀疑的混合情绪。一些人强调 AI 模型的卓越能力，而另一些人则对使用他人未发表工作的伦理问题以及对研究分享的潜在寒蝉效应表示担忧。陶哲轩关于 AI 驱动研究动态的观察被广泛引用，并且对于此类 AI 生成的证明是否应在未经严格同行评审的情况下被信任存在争论。

标签: #AI, #Mathematics, #OpenAI, #Navier-Stokes, #Research Ethics

大语言模型通过自适应探索产生新的社会偏见 ⭐️ 8.0/10

该论文证明，大语言模型可以通过自适应探索自发地对人工人口群体产生新的社会偏见，即使这些群体之间不存在固有差异。这些偏见导致高度分层的任务分配，其公平性低于人类分配，并且在新版和更大模型中更为严重。这一发现对 AI 公平性具有重要意义，因为它揭示了偏见可以在没有任何预先存在的群体差异的情况下产生，挑战了当前侧重于从训练数据中消除偏见的缓解策略。它强调需要解决 LLM 决策中的探索-利用动态，以防止在高风险应用中出现新兴歧视。该研究使用了一个招聘顾问任务，LLM 在多轮中从不熟悉的四个人口群体（Tufa、Aima、Reku、Weki）中推荐候选人，并根据成功反馈进行学习。新兴偏见归因于探索-利用权衡，即探索不足使得早期观察强烈影响对整个群体的印象。

hackernews · paimapi · 9月8日 21:47 · 社区讨论

背景: 大语言模型（LLM）是在海量文本数据上训练的人工智能系统，用于生成类似人类的文本。它们越来越多地被用于决策任务，如招聘，在这些任务中公平性至关重要。先前的研究表明，LLM 可能表现出显性偏见，如种族或性别偏见，但本研究关注的是通过交互动态产生的隐性偏见，类似于人类在探索-利用场景中的认知偏见。

参考链接:

社区讨论: 社区评论讨论了方法论，一位用户指出了提示设置，另一位用户引用了 2015 年关于 eBay 拍卖中种族偏见的实地实验作为类似证据。一位评论者表示，鉴于 LLM 训练所用的文本存在偏见，它们产生偏见并不令人意外，这呼应了文化理论家长期以来的观察。总体情绪是参与和批判性的，一些人质疑实验设计，另一些人则将其与人类行为进行类比。

标签: #AI fairness, #LLM bias, #machine learning, #social bias, #research

陶哲轩警告 AI 正在耗尽开放数学问题 ⭐️ 8.0/10

著名数学家陶哲轩在 Mathstodon 上发帖称，人工智能正在迅速消耗开放数学问题，可能耗尽推动人类数学发现的问题库。他指出，识别有前景的问题正成为稀缺而宝贵的资源。这一观察凸显了数学和人工智能研究的范式转变：随着 AI 在解决问题方面越来越强，瓶颈转向问题的提出。这可能重塑数学家和 AI 研究人员的工作优先级，强调创造力和提问而非解题。陶哲轩的帖子获得了高度关注，有 150 分和 95 条评论，显示出社区浓厚的兴趣。讨论中引用了艾萨克·阿西莫夫 1956 年的故事《笑话大师》，强调提出有意义问题的重要性，一些评论者对没有洞见的已解决问题是否真正阻碍人类知识表示怀疑。

hackernews · alternator · 9月8日 21:00 · 社区讨论

背景: 开放数学问题是指未解决的数学难题，常常推动数学的进步。陶哲轩是菲尔兹奖得主，也是最具影响力的数学家之一，因此他的观点很有分量。人工智能（尤其是大型语言模型）的崛起带来了自动定理证明和问题求解，引发了对人类驱动的数学发现可持续性的担忧。

社区讨论: 社区评论观点不一：一些人同意陶哲轩的看法，引用阿西莫夫的见解，认为提出有意义的问题成为瓶颈；另一些人则持怀疑态度，认为没有洞见的解决方案并不会削弱人类知识。有评论者建议，AI 的下一个前沿是提出具有挑战性的问题，而不仅仅是解决它们。

标签: #AI, #mathematics, #research, #Terence Tao, #open problems

陶哲轩警告 AI 可能破坏数学开放科学传统 ⭐️ 8.0/10

著名数学家陶哲轩警告称，AI 驱动的开放问题求解努力可能使研究人员不再愿意分享有前景的研究方向，从而可能逆转数学领域数百年的开放科学传统。这很重要，因为开放分享研究方向一直是数学进步的基础，如果 AI 助长了保密风气，可能会对该领域的协作文化造成长期损害，并减缓创新速度。陶哲轩特别指出，即使有人正在研究某个问题的传闻，也可能引发大规模的 AI 驱动求解竞赛，在原始研究充分发挥潜力之前就将其“夷平”。他将开放问题描述为“以不可再生的方式被开采”，暗示它们正变得稀缺。

rss · Simon Willison · 9月9日 00:20

背景: 近年来 AI 在数学领域取得了显著成就，例如 AI 生成的对埃尔德什单位距离猜想的反例，以及 AI 辅助解决像 668 阶阿达马矩阵这样的开放问题。这些发展引发了对研究人员开放分享工作动机的担忧，因为 AI 可以迅速解决那些原本被视为长期研究项目的问题。

参考链接:

标签: #AI ethics, #mathematics, #open science, #research incentives

OpenAI 发布 ChatGPT Images 2.5，推出两个新 API 模型 ⭐️ 8.0/10

OpenAI 发布了 ChatGPT Images 2.5，这是升级后的图像生成模型，改进了多轮指令遵循、速度和主体保持能力。API 现在提供两个新模型 ID：gpt-image-2.5-sunburst 和 gpt-image-2.5-flare，其中 Sunburst 推荐用于精确编辑，Flare 用于快速、高质量的日常生成。此次更新意义重大，因为 OpenAI 的图像模型已用于生成超过 30 亿张图像，而编辑精度和速度的提升将使普通用户和开发者都受益。引入不同的 API 模型为开发者在应用中平衡质量和延迟提供了更清晰的选择。据 OpenAI 称，GPT-Image-2.5 Flare 在比 GPT-Image-2 延迟降低 50% 的情况下提供更高质量的图像，并且是大多数应用的默认选择。图像输出成本为每百万 token 30 美元，token 费率与 GPT Image 2 相同，但 GPT Image 2 计算器不估算 GPT Image 2.5 的 token 消耗。

rss · Simon Willison · 9月8日 22:46

背景: ChatGPT Images 是 OpenAI 的文本到图像生成系统，已发展到支持编辑和多轮对话。新版本强调多次编辑之间的一致性以及更好地保持参考主体，解决了 AI 图像编辑中的常见痛点。知名开发者 Simon Willison 已经更新了他的开源 CLI 工具，以支持带参考图像的新模型。

参考链接:

标签: #OpenAI, #image generation, #API, #AI models, #ChatGPT

Meta 推出 Muse AI 代理，采用分层提示注入防御 ⭐️ 7.0/10

Meta 推出了个人 AI 代理 Muse，并针对提示注入攻击采用了分层防御。该公告强调了 Meta 对代理式 AI 应用中安全性的关注。此次发布意义重大，因为 Meta 庞大的用户群可能加速 AI 代理的主流采用。对提示注入防御的强调解决了关键的安全问题，可能为消费者 AI 的信任树立新标准。 Meta AI 负责人 David Singleton 详细介绍了分层防御：模型训练以抵抗注入、框架标记不可信来源、确定性代码检查，以及与代理隔离的集成分类器。这些措施旨在降低直接和间接提示注入的风险。

hackernews · yks · 9月8日 19:25 · 社区讨论

背景: 提示注入是一种网络安全攻击，恶意输入会导致大型语言模型（LLM）产生意外行为。随着 AI 代理获得网页浏览和文件访问等功能，它们容易受到间接提示注入的攻击，即对抗性指令嵌入在检索到的内容中。分层防御对于确保代理安全地代表用户行动至关重要。

参考链接:

社区讨论: 社区情绪复杂：一些人欣赏安全措施的技术深度，而另一些人则对 Meta 表示不信任，质疑公司是否会优先考虑用户利益。也有人对该产品的必要性持怀疑态度，认为它是在解决不存在的问题，但承认 Meta 在触达非技术用户方面具有优势。

标签: #AI agent, #Meta, #prompt injection, #security, #personal assistant

通过 IPP 将电子墨水屏变成可用的打印机 ⭐️ 7.0/10

一位开发者记录了如何通过实现互联网打印协议（IPP）并配置 CUPS 来接收打印任务，将电子墨水屏重新用作功能性的“打印机”。该项目允许用户将文档发送到电子墨水屏，屏幕会像打印页面一样显示文档。这个黑客项目展示了电子墨水屏的多功能性以及 IPP 等开放标准的力量，实现了硬件的创造性再利用。它可能激发类似项目，将非常规显示器集成到标准工作流程中，从而扩展可打印设备的生态系统。作者将电子墨水屏配置为通告自定义纸张尺寸（如 A5、Letter）和一个输出纸槽，使电脑能够按照屏幕的确切尺寸格式化文档，而无需缩放。该设置依赖于 IPP Everywhere 和 CUPS，它们基于标准，并得到各操作系统的广泛支持。

hackernews · cat-whisperer · 9月8日 21:22 · 社区讨论

背景: 电子墨水（E-ink）是一种模仿纸张的显示技术，具有低功耗和高可读性，常用于亚马逊 Kindle 等电子阅读器。互联网打印协议（IPP）是现代网络打印的标准，受到所有现代打印机和操作系统的支持，允许客户端查询打印机功能并提交任务。CUPS（通用 Unix 打印系统）是一个开源的打印系统，使用 IPP 来管理打印队列和过滤器，是这个黑客项目的关键组件。

参考链接:

社区讨论: 社区反应积极，用户称赞该项目的创造性和娱乐价值。一些评论提供了技术建议，例如在 IPP 中定义精确的介质尺寸以避免缩放，而另一些则质疑与直接加载 PDF 相比的实际用途，还有一位用户表示希望看到更传统的打印机制作方法。

标签: #e-ink, #printer, #IPP, #CUPS, #hacking

DaVinci Resolve 21.1 新增 AI 助手集成 ⭐️ 7.0/10

Blackmagic Design 发布了 DaVinci Resolve 21.1，引入了与 Claude 和 ChatGPT Codex 等 AI 助手的集成，并为剪辑和调色新增了 100 多项工具和控制功能。此次更新标志着将 AI 助手集成到专业视频编辑工作流程中的重要一步，可能降低初学者的入门门槛并简化重复性任务。它也反映了将 AI 代理嵌入创意软件的更广泛行业趋势。 AI 助手集成允许用户使用自然语言分析项目、整理媒体、调整设置和批量渲染。然而，Linux 上的免费版本仍不支持 H.264/H.265 和 AAC 编解码器，而 Studio 版本增加了 H.264/H.265，但仍不支持 AAC。

hackernews · tosh · 9月8日 13:36 · 社区讨论

背景: DaVinci Resolve 是一款专业的视频剪辑和调色软件，以其强大的基于节点的调色工具而闻名。Blackmagic Design 一直为 Pro 用户提供无需订阅的免费升级，这在行业中颇为突出。由于许可问题，Linux 版本历来存在编解码器限制。

参考链接:

社区讨论: 社区情绪复杂：一些人称赞免费升级和不断增强的功能，而另一些人对 Linux 编解码器限制和 AI 代理集成趋势表示不满。用户还希望 Linux 版本支持 VST3 插件和 JACK。

标签: #video editing, #DaVinci Resolve, #AI integration, #software release, #Linux