OpenAI 纳维-斯托克斯证明引数学界分歧
哈佛数学家对正确的 AI 证明是否需要人类理解产生分歧,起因是 OpenAI 的纳维-斯托克斯方程主张。 一个证明做两件事:它表明一个陈述为真,并教给其他数学家一种可复用的方法,而 AI 证明往往只做到第一件。 数学家看重证明有两个原因:确定性和技巧,而一个无人理解的 AI 证明给了他们确定性,却扣留了技巧。
首页已经看过的不重复列。下面从更早的内容继续,可以一直往下滚。
哈佛数学家对正确的 AI 证明是否需要人类理解产生分歧,起因是 OpenAI 的纳维-斯托克斯方程主张。 一个证明做两件事:它表明一个陈述为真,并教给其他数学家一种可复用的方法,而 AI 证明往往只做到第一件。 数学家看重证明有两个原因:确定性和技巧,而一个无人理解的 AI 证明给了他们确定性,却扣留了技巧。
据 Bloomberg 报道,DeepSeek 在美国要求联邦 civilian 机构移除其 AI 技术两天后完成约 150 亿美元(约 1000 亿元人民币)融资,潜在投资方包括宁德时代和腾讯。此前的 6 月融资超 70 亿美元、估值 500 亿美元,公司还计划最早明年在中国 IPO,并加大 AI 基础设施和开放模型投入。
Wiz 披露 2026 年 10 月有攻击者使用开源自主渗透测试框架 ARTEX 针对多家 IT 和软件厂商,活动与微软报告的中国国家级关联组织 Storm-0940 重叠,并已扩展到其他软件领域的供应链攻击尝试。
1Password 推出新功能 1Password for Agents,允许 AI 智能体在用户批准后完成登录,但不让智能体看到或持有密码。智能体用唯一数字密钥向 1Password 验证身份,用户在自己设备上批准后由 1Password 代为填写登录信息,流程类似两步验证。
最近 Grok Bot 帮到你什么了?
推文警告网络安全风险由攻防能力共同决定,系统无法做到"100% 安全",持续防御将成为必需。作者援引 Cloudflare 与 Microsoft 报告的恶意活动,称近期漏洞公告正是"防御者鸿沟"的直接后果,缺乏先进防御工具的组织难以跟上。其担忧未来 24/7 安全智能体虽能提供防护,但许多人将无力获取或负担这类保护。
我还不知道这算不算互联网规模的灾难,但这绝对是我们迄今最大的一次压力测试。
在 AA-PersonalityBench 中,Anthropic 模型总体上是所有被测模型中信息密度最高、文学素养最强的 ➤ 信息密度最高:Claude Fable 5.1(100)、Claude Opus 5.5(97)、Claude Sonnet 5.5(95)和 Claude Haiku 5.5(92) ➤ 文学素养最强:Claude Haiku…
The Verge 作者实测 Meta Muse 等 AI 购物智能体,发现其体验像需要大量指令的助手,访问零售网站时灵时不灵。Amazon 封锁了 Muse 并曾起诉 Perplexity,JPMorgan Chase 也拒绝外部智能体接入账户;Target 表示有防护措施阻止未授权智能体。
港科大的 RedHerring 为破解 AI 攻防「攻易守难」的局面,开辟了全新思路,通过在代码中加入看起来像漏洞、实际无法触发的诱饵代码,让 Agent 把时间花在这些诱饵上,从而减少真实漏洞的发现数量。
SF Compute 创始人 Evan Conrad 在 Latent Space 播客中指出,一张 B300 跑推理满负荷一小时可收约 40 美元,而市场买价仅 5 到 6 美元,两个数字必须有一个变,说明算力至今未被真正定价。
投资研究公司 Citrini Research 与 Anthropic 合作,用未发布版本的 Claude 尝试从零开发蝎子抗毒血清,结果未能造出实际药物,只得到一些有前景的起点。Citrini 承认团队无人真正了解 AI 与生物学的关联,该实验因触及 Claude 的生物安全护栏而转向与 Anthropic 合作。
论文提出 JevAgentHarness 框架,通过让 4B 小模型预先筛选低风险决策,显著降低了智能体在长任务中的大模型调用成本,同时保持了任务成功率。
在《Big Technology Podcast》中,皮查伊强硬反驳了 Google 退出 AI 前沿竞争的传言,强调公司正在主动牺牲云业务利润,将算力优先分配给 DeepMind 进行前沿研发,并批评了将第三方智能体硬塞入 ChatGPT 的做法。
上海 AI Lab 的 RSI-Router 框架通过自进化路由和技能积累,让小模型参与复杂任务,实现性能超越纯大模型的同时,将推理成本降低 51.7%。
IT之家 10 月 22 日消息,当地时间周二,Anthropic 平台工程团队负责人 Katelyn Lesse 在 Grafana Labs 举办的 ObservabilityCON 活动上透露,“就我们团队及我们的系统开发和维护工作而言,我们所有代码都是 Claude 写的,真的是全部。
Nathan Lambert 认为开源模型在网络防御中能起到平衡作用,当前发展轨迹比人们想象的要好得多。他指出开源权重并非不会被用于网络攻击,所有可能的 AI 发展轨迹在他看来都会伴随大量网络安全事件。他试图挑战围绕网络与开源模型的宿命论式 AI 末日论调,因为网络社区中有可信声音认为开源模型是未来 12 个月维持局面的重要力量。
Google 与 Voltus 宣布在 PJM 电网争取 1 GW 虚拟电厂容量,是 6 月公布的 100 MW 目标的十倍。虚拟电厂通过软件调控家庭和企业用电为数据中心腾出电力空间;Voltus 要求客户承诺通过 2040 年持续提供减负或电池供电,且 Google 承诺 100% 无碳容量。
Energize Lab 就 The Verge 报道的 Eiliko 挂件机器人安全漏洞发布声明,确认核心问题属实,称已关闭后端外部访问、禁用远程修改机器人回应的接口、下线长期记忆和自定义头像功能,并承诺删除已存储的对话记录、用户画像和头像图片,还将聘请独立安全公司全面审查。
明略科技通过 Octo 平台将 AI 深度融入组织,实现 1:4 的人机比例,并用 Agent 网络重塑企业协作流程,显著提升效率。
上海交大 00 后硕博团队创立“芯生代”,提出基于 Agent 与价值驱动记忆的自进化推理引擎,旨在解决国产芯片上算子生成与推理管线优化的痛点。
Amazon 研究者提出 Span-Level Uncertainty Estimation (SLUE) 新任务及 SpanUQ 方法,利用冻结 LLM 隐藏状态配合轻量级 Probe,在单次前向传播中同时完成语义片段检测与不确定性估计,较采样法快 10-20 倍,并发布 SpanUQ-Bench 基准。
LLM API 的实际成本取决于缓存率、输出比例和定价门槛,而不只是醒目的每 token 价格;本文比较了 GPT-5.6 Sol、GPT-6.1 Sol、Claude Opus 5.5 等模型经核实的价格,找出适合不同工作负载的高性价比选择。
研究员借助 GPT-5.6 Sol 成功挖掘出 PHP 中的重大安全漏洞,证明黑客可以利用内存管理错误远程执行代码,导致全球大量网站紧急停服打补丁。
智谱的 ZCode 推出 Work 模式,将 AI 编程能力扩展到办公领域,支持文档分析、表格处理和 PPT 生成,并提供多 Agent 工作流功能,成为新一代办公工具的有力竞争者。
作者 A. Chen 在 ChinaTalk 征文中获奖的这篇报道,实地走访北京五道口的研究者与创业者,梳理机器人数据收集的三代技术:2017 年起的遥操作、2024 年 Stanford UMI 提出的同构外骨骼。
Anthropic 上市前亮出特殊治理架构:把控制权交给不持股的外部受托人 · · Oct 22, 2026 31.8k 多数人的目光都落在 Anthropic 冲刺 IPO 时的收入增速、模型能力和万亿估值预期上,却很少有人留意它这套与硅谷常规模板迥异的治理安排。
本文介绍了 25 项可复现审计,揭示热门 LLM 基准测试的评分代码和金标准标签中的具体缺陷,包括 NLI 数据集中的自相矛盾标注,以及 GSM8K 中最终答案与计算结果不一致的问题。
腾讯混元与复旦大学研究团队提出 WorkForge 框架,从真实世界资源出发规模化构建可验证的智能体工作环境,产出 WorkForge-16K 共 16,665 个环境,覆盖 40 个专业领域、60 种文件类型。
腾讯混元与复旦大学提出 WorkForge,一个从真实世界资源出发、规模化构建可验证智能体工作环境的框架,通过 16,665 个真实工作区训练模型,显著提升智能体在长程任务中的探索、核查与交付能力。