OpenAI 的数学证明为何尚未达到学界标准
OpenAI 本周发布数百份高难数学题解答,但被指未完全达到普林斯顿高等研究院 AGMAI 的准则要求:719 份手稿中仅 10 份公布了模型的思维链,且按该组织建议未经形式化的证明仅占 42%。
OpenAI 本周发布数百份高难数学题解答,但被指未完全达到普林斯顿高等研究院 AGMAI 的准则要求:719 份手稿中仅 10 份公布了模型的思维链,且按该组织建议未经形式化的证明仅占 42%。
Anthropic 更新使用政策,明确禁止干预选举、武器软件与监控用途,并新增禁止用户长期辱骂模型的条款;Claude 自 8 月起已被训练在遭遇持续有害或辱骂性互动时结束对话。政策还禁止用 Claude 运营虚假账号或伪造新闻媒体、欺骗选民与扰乱选举,Anthropic 称相关限制仅适用于极端情形。
Google 在 Google Cloud 活动上宣布为 Gemini 引入智能体能力,推出统一智能体,可接收目标而非仅指令,自主规划任务、调用技能和工具并连接企业内部系统。
据《金融时报》报道,OpenAI 已告知投资者其年化收入「接近 500 亿美元」,比此前投资者用于与 Anthropic 对比的约 700 亿美元低约 200 亿。
AI 模型排行榜 Arena 于周四宣布完成 2 亿美元 B 轮融资,估值达 31 亿美元,较 1 月 A 轮 17 亿美元投后估值在约 10 个月内近乎翻倍。
Ben Affleck 近期多段采访视频走红,他本人讲解机器学习、神经网络、Transformer 与张量等概念,并称自己会写一点 Python。他透露曾到访 OpenAI,还通过解冻权重、只训练最后一层"电影感"层来微调开源视频模型,该技术已用于其电影《Animals》的后期制作。
陶哲轩等数学家发表声明,呼吁抵制 OpenAI,起因是 OpenAI 一次性放出 700 多个 AI 生成的数学证明文件。声明称 OpenAI 忽视了 AGMAI 咨询组关于先进数学问题不应在内部模型上测试的核心前提,把这次发布形容为力量的展示而非学术成果。
推荐理由:围绕 OpenAI 一次性放出大量 AI 数学证明,呈现数学家群体的分歧与两种协作路径的对比。
Pollo AI 借助 GPT-5.6、GPT-6 Astra 和 GPT-Image-2.5,帮助创作者把创意转化为精细图像与电影级视频广告。
Oracle 在招聘、工程和运营环节借助 ChatGPT Work 与 Codex,把专家知识转化为快速可复用的工作流,将原本需要数天的工作缩短到几分钟完成。
Anthropic 发布 Claude Haiku 5.5,OSWorld 2.1 成绩从上一代 15.7% 提升到 72.4%,平均运行成本下降约 75%,并首次在 Haiku 系列引入 Adaptive Thinking。
NVIDIA KGMON 团队在 KDD Cup 2026 Data Agents 竞赛中获得第二名,其方案的核心思路是让智能体的 harness 更小、更清晰、更易验证。该竞赛要求智能体在数据库、CSV 和 JSON 文件、散文文档、PDF 及简报视频等异构数据源上回答自然语言问题。
Periodic Labs 联合创始人 Liam Fedus 与 Ekin Dogus Cubuk 在访谈中提出"合成超级智能"路线:以物理实验为环境的强化学习、AI 材料表征与高通量自主实验室,让模型在真实世界中试错而非只靠互联网数据训练,把数十年材料试错压缩到数月。
Anthropic 一年多来首次更新使用政策,新增禁止对 Claude 的持续且无必要的虐待或残忍行为,并称终止对话仍是主要执行机制,该条款仅适用于用户反复无明确目的地虐待模型的极端情况。
Ramp 和 Stripe 各自搭建了让非工程师构建内部网站与工具的平台,这类“内部 vibe-coding 应用”正在中型科技公司中流行。作者预计会有更多公司跟进这一做法。
Cal AI 联合创始人 Zach Yadegari 为其新 AI 智能体公司 Persona 完成 1000 万美元融资,由 Vine Ventures 领投。
TechCrunch Disrupt 2026 将于 10 月 13 日上午 8 点(PT)在旧金山 Moscone West 开幕,仅剩 5 天可享折扣票价,通票最高省 100 美元,$299 起,同类型第二张半价,四人及以上团体另有优惠。
TechCrunch Disrupt 2026 的 Smart Systems Stage 将举办一场题为“Where the AI Infrastructure Boom Is Creating Winners”的对谈。
Goodfire 发布一套面向 AI 智能体的监控方案,不再由第二个模型阅读智能体输出,而是用探针读取模型内部激活信号,仅在触发时才交由单独的 AI 模型复核。
AI 与硬件初创公司 Natura 发布 99 美元智能戒指 Interface,按下手指即可让 AI 智能体完成任务、记录想法,并支持 Meta Muse、Instinct、Grokbot、Claude、ChatGPT 等智能体与应用。
针对多个团队共享昂贵 GPU 集群的需求,AWS 给出了一套基于 Amazon SageMaker HyperPod 与 EKS 的多租户参考架构,通过 Kubernetes 命名空间隔离工作负载、HyperPod Task Governance 做公平资源分配、命名空间级成本分摊实现按团队计费。
Google 发布实验性笔记应用 Google AI Edge Foresight,可在完全离线的情况下转写会议和音频文件。该应用免费,基于 Google 端侧模型 EmbeddingGemma 2 在 macOS 上运行,能将会议中的速记要点整理成完整笔记,并内置助手可就听到的内容提问,还可连接本地文件作为回答参考。
OpenAI 阻断了两起 AI 赋能的影响行动,这些行动利用假媒体人和一家智库来传播地缘政治信息。
Google 在 Gemini at Work 活动上发布一款可在后台跨应用和设备工作的通用 Gemini 智能体,该工具将在 Gemini Enterprise 应用中提供,用户可在单一界面与智能体对话并分派任务。
今年全美 94 座核反应堆几乎全部被提供将 AI 整合进运营的机会,且多数已采纳。Atomic Canyon 于 8 月推出核工业虚拟助手 NIVA,已在 Constellation Energy 核电站试点,现向全美核反应堆开放。
两位以太坊研究者警告,AI 辅助数学最坏情况下可能在数月内攻破加密钱包所用签名体系,Justin Drake 呼吁行业进入"地堡模式",建议把资金转移到从未签名过的地址。Vitalik Buterin 在 X 回复中认同风险,但警告不要行动过快,称自己在迁移失误上损失的钱比被黑客攻击还多,并主张长期转向尽可能只依赖哈希函数的架构。目前 ECDSA 签名方案在实践上尚未被真正攻破。
ICANN 公布本批 1615 份新顶级域名申请,共 481 家申请方,AI 相关后缀成热门:Meta、OpenAI 等 10 家公司申请 .agent,OpenAI 等 7 家申请 .agi。
Luca Guadagnino 执导的讽刺传记片《Artificial》在纽约电影节首映,聚焦 Sam Altman 在 OpenAI 的权力崛起与被短暂罢免。
The Verge 的 Decoder 播客中,高级 AI 记者 Hayden Field 与主持人 Nilay Patel 讨论 Meta 的 Muse、OpenAI 的 Dots 和 xAI 的 Grok Bot 这波消费级智能体。
中国 AI 公司 Manus 的母公司 Butterfly Effect 在微信公告中表示已募资超 5 亿美元,这是 Meta 被迫取消 20 亿美元收购后该公司的首轮融资。
Google 发布 AI 笔记应用 Google AI Edge Foresight,对标 Granola 等会议记录工具,Mac 版可完全离线运行,使用端侧 EmbeddingGemma 2 模型,参数量 740 million。
安全公司 Zenity Labs 称,Amazon Bedrock AgentCore 存在一条被其命名为 AgentCorruption 的漏洞链:攻击者只需对一个公开智能体拥有聊天权限,用一条提示词即可控制同一 AWS 账号和区域内的全部 AgentCore 智能体。
《Gears of War: E-Day》已于 10 月 6 日全球发售后上线 GeForce NOW,Ultimate 会员可以 GeForce RTX 5080 级性能串流游玩,并支持 NVIDIA DLSS 与 NVIDIA Reflex,覆盖低功耗笔记本、Mac、移动设备、掌机和浏览器。
Anthropic 已秘密向美国 SEC 递交 S-1 招股书,计划在 11 月美国中期选举后登陆纳斯达克,募资高达 1000 亿美元、目标估值超 2 万亿美元,超过 SpaceX 成为史上最大 IPO。
2025年至2026年7月初,国内15家主流游戏上市公司参与72项投融资项目,总投资额突破872亿元,其中流向人工智能、机器人等非文娱赛道的资金占比超90%。2026年6月DeepSeek完成首轮外部融资,网易出资约30亿元、腾讯出资约100亿元。游戏厂商通过股权绑定与AI企业建立排他性合作,反哺游戏研发与运营主业。
2026年双节期间,大同代王府在常设主秀《天下大同》之外新增限定大秀《共抗瓦剌》《九州共贺》《百狮贺瑞》,游客可扛战旗、投掷泡沫道具石头与NPC对垒。该景区2025年全年接待游客超64万人次,实现旅游收入3390万元。同类攻城体验已扩展至沂南、遵义、开封清明上河园和贵阳青岩古镇等地,但承载量有限,沂南项目最大承载量仅1200人。
Parallel Systems 于 2026 年 10 月 7 日宣布完成 1 亿美元 C 轮融资,由 AVP 领投,累计融资超 2 亿美元,其无车钩无人货运轨道车辆 Panther 主攻铁路放弃的 500 英里以内短途货运。
马斯克确认特斯拉与 SpaceX 将自建并运营 Terafab 芯片制造设施,台积电最多可能租用其中部分空间,长期目标为年产对应 1 太瓦计算功率的硬件。
Nvidia 的 Halos 安全系统于 2025 年推出,提供硬件与软件工具,帮助开发者在自动驾驶汽车等自主车辆中设置安全护栏。2026 年 6 月,Nvidia 宣布将安全架构扩展至更多物理 AI 技术,推出 Halos for Robotics,目标覆盖仓库自主移动机器人、工厂内行走的人形机器人乃至手术机器人。
广东顺德、深圳南山、广州黄埔三地走访显示,美的累计主导参与国内外标准1300多项、牵头修订微波炉与洗碗机 IEC 国际标准,库卡重载机器人国内市占率41.5%,优必选柳州万台级工厂按节拍每10分钟下线1台Walker系列机器人。顺德国检中心推动全省工业机器人监督抽查合格率从2018年70%提高到2025年90%以上,2025年广东工业机器人产量33.63万台(套)、占全国43.5%。
Crowdstrike 报告称,一名疑似中文使用者于 2026 年 9 月底至 10 月初攻击多家韩国金融机构并窃取大量数据,仅新韩银行就有超过 25000 条含姓名、联系方式、收入和信用额度的记录被窃取。
推荐理由:Crowdstrike 披露的攻击细节显示开源 AI 渗透工具已进入实际攻击链条,可观察模型被滥用的具体路径。