瞬间

RSS 订阅
滚动查看更多
yan

Thomas Wolf 认为 AI 数学尚未被解决，Navier-Stokes 结果更像反例搜索而非完整证明

Hugging Face 联创 Thomas Wolf 回应 OpenAI 用下一代模型（强于 GPT-6 Astra）的 agent 群组证明 Navier-Stokes 千禧年问题猜想为假的结果，称其令人印象深刻。

阅读原文 →

评论
yan

📊 热点词汇统计 (共 32 条)

🔥 [1/10] 微软 / 谷歌 / 苹果 : 10 条

  1. [V2EX] 🆕 做了个 CLI 直接读 Apple Notes 的 SQLite，全文搜索比 OpenClaw/Hermes(memo) 快 2500 倍 [3] - 18:01
  1. [V2EX] 🆕 自荐： iList - OpenList/AList 第三方客户端， iOS/macOS 均已上架 [10] - 18:01
  1. [V2EX] 🆕 设置 Windows 11 头像为动图 [16] - 18:01
  1. [IT之家] 🆕 谷歌终于向免费用户开放 Gemini 每日简报，无需订阅 [17] - 18:01
  1. [今日头条] 🆕 iPhone Ultra三家内存供应商曝光 [19] - 18:01
  1. [IT之家] 🆕 古尔曼：苹果 Apple Watch Series 12/Ultra 4 可自动记录用户每日活动并生成摘要 [27] - 18:01
  1. [V2EX] 🆕 Apple 库存监控小工具分享，助力大家拿下首发 [27] - 18:01
  1. [V2EX] 🆕 V2Echo iOS 客户端 TestFlight 内测招募｜前 50 名赠送 Pro 永久权益 [28] - 18:01
  1. [掘金] 🆕 为什么 Android 非要用 Intent 传值？ [30] - 18:01
  1. [IT之家] 🆕 微软 Win11 优化音频设置：音量滑块可显示实时活动 [30] - 18:01

📈 [2/10] AI 相关 : 6 条

  1. [IT之家] 🆕 硅谷知名风投 A16z 合伙人：AI 不会制造“永久底层阶级”，大家不必过度担忧 [6] - 18:01
  1. [IT之家] 🆕 Suno 发布 v6 系列 AI 音乐模型，新增多项能力 [7] - 18:01
  1. [V2EX] 🆕 怎么实现让 AI 对百万数据进行本地分析？ [8] - 18:01
  1. [今日头条] 🆕 张小泉AI剪刀视频引热议 客服回应 [18] - 18:01
  1. [IT之家] 🆕 韩企 HyperAccel 4nm AI 芯片 Bertha 量产，面向数据中心推理用途 [18] - 18:01
  1. [V2EX] 🆕 做了个免费 AI 出图站，不用注册，出完还能抠图改尺寸 [29] - 18:01

📈 [3/10] OpenAI / Claude : 5 条

  1. [IT之家] 🆕 AI 攻克数学难题，纽约大学教授质疑 OpenAI“截胡”其研究成果 [5] - 18:01
  1. [IT之家] 🆕 软银将提前偿还 259 亿美元过桥贷款，拟通过发债等方式为 OpenAI 投资再融资 [15] - 18:01
  1. [IT之家] 🆕 GPT-6 Astra 需求空前，OpenAI 称必要时会暂停 Pro 新增订阅 [21] - 18:01
  1. [IT之家] 🆕 OpenAI 奥尔特曼传记影片《Artificial》首支预告公开，展示“地堡”场景 [22] - 18:01
  1. [V2EX] 🆕 做了个 Mac 上的 AI 用量账本「纸账」，把 Codex / Claude Code 等工具的记录放一起看 [25] - 18:01

📌 [4/10] 中国 : 4 条

  1. [IT之家] 🆕 《CS2》Major 2027 年再度落地中国 [8] - 18:01

📌 [4/10] 中国 : 4 条

  1. [今日头条] 🆕 媒体：中国医生正被投诉淹没 [10] - 18:01
  1. [今日头条] 🆕 中方：希望美方不要抹黑中国 [20] - 18:01
  1. [IT之家] 🆕 路虎揽胜全球产品与服务营销总监：我们的重点在利润率而非销量，不惧中国对手竞争 [26] - 18:01

📌 [5/10] 水电 / 光伏 / 核能 / 能源 : 2 条

  1. [IT之家] 🆕 乘联分会：8 月国内狭义乘用车市场零售销量 154.1 万辆同比下降 23.6%，新能源渗透率 65.2% 再创新高 [19] - 18:01
  1. [IT之家] 🆕 江淮汽车 8 月销量 26986 辆同比下降 16.83%，新能源乘用车销量 2951 辆 [20] - 18:01

📌 [6/10] DeepSeek : 1 条

  1. [V2EX] 🆕 无限画布的修图功能，结合 deepseek harness, 感觉比单纯写提示词要好很多 [11] - 18:01

📌 [7/10] 华为 : 1 条

  1. [IT之家] 🆕 华为 Mate XT 2 非凡大师三折叠手机维修备件价格公布，屏幕组件留件价 7999 元起 [2] - 18:01

📌 [8/10] 三体/流浪地球 : 1 条

  1. [IT之家] 🆕 三体宇宙 CEO 赵骥龙：电视剧《三体 · 黑暗森林》已确认主创阵容，张艺谋导演《三体》电影稳步开发中 [23] - 18:01

📌 [9/10] 西欧 : 1 条

  1. [今日头条] 🆕 英国与以色列针锋相对释放什么信号 [6] - 18:01

📌 [10/10] 机器人 / 机器狗 / 具身智能 : 1 条

  1. [IT之家] 🆕 行业首个开放世界全天候商业交付级具身智能架构，万勋科技发布 NOVA2.0 柔性具身大脑 [11] - 18:01
评论
yan

《The Intercept》披露美国国防部曾要求 OpenAI 提供对军事指令最低拒绝率的特别版 AI

《The Intercept》通过 FOIA 诉讼获得的文件显示，美国国防部曾在 P00003 合同中要求 OpenAI 提供对军事指令具有最低拒绝率的特别版模型，双方对此均否认，称该文件只是草案。五角大楼律师一度确认其为正式版本后多次改口，OpenAI 已于 2 月 27 日签署允许部署到美军机密网络的最新版协议。

阅读原文 →

评论
yan

美国政府指控 DeepSeek 等 6 家中国 AI 公司工业规模蒸馏美国模型

NSA、CISA 和 FBI 发布联合公告 AA26-251A，指控 DeepSeek、月之暗面、阿里、MiniMax、阶跃星辰和 Z .AI 自 2024 年底起对美国前沿模型进行工业规模蒸馏。

阅读原文 →

评论
yan

Simon Willison 评纳维-斯托克斯千禧年问题求解背后的 OpenAI 与 Anthropic 争议

Simon Willison 评论 OpenAI 用未发布模型在约 88 小时内求解纳维-斯托克斯存在性与光滑性问题，并经 GPT-6 Astra 完成 17 小时 Lean 形式化验证。

阅读原文 →

评论
yan

曝 DeepSeek 聘请中信证券筹备科创板 IPO，目标年内递交申请

路透社报道称，DeepSeek 已聘请中信证券筹备科创板上市，目标今年递交 IPO 申请、明年挂牌，募资将用于算力基建、模型研发、芯片自研与人才激励。公司正推进新一轮融资，目标估值约 5000 亿元人民币，此前 6 月完成约 74 亿美元首轮外部融资，投后估值超 500 亿美元；2026 年前 7 个月营收约 4.75 亿元。

阅读原文 →

评论
yan

OpenAI 上线 GPT Image 2.5，作者实测新版与 image2 的生图差异

OpenAI 上线 GPT Image 2.5，主打更快生成、更高清、多轮编辑一致性和区域标注精修，并新增涂鸦绘图与 15 个图片模版功能。API 同步发布 GPT-Image-2.5 Flare（速度提升 50%）和 GPT-Image-2.5 Sunburst（更高精度）。

阅读原文 →

评论
yan

📊 热点词汇统计 (共 25 条)

📈 [1/16] 微软 / 谷歌 / 苹果 : 5 条

  1. [IT之家] 🆕 微软 Win10 推送 9 月 ESU 更新：扩大安全启动证书部署 [1] - 12:01
  1. [V2EX] 🆕 做了个开源 MQTT 桌面客户端，支持 Windows / macOS / Linux [4] - 12:01
  1. [V2EX] 🆕 一个 Web 端 AI 输入框内容记录 Chrome 扩展--AI 输入历史 [14] - 12:01
  1. [V2EX] 🆕 [[自荐] IOS 原生开发，本地音乐播放器，支持流媒体接入](https://www.v2ex.com/t/1240591) [15] - 12:01
  1. [IT之家] 🆕 微软承认 8 月更新导致 Windows Server 2016 和 2025 系统崩溃报错 [27] - 12:01

📌 [2/16] AI 相关 : 3 条

  1. [V2EX] 🆕 用 AI，如何搞到第一桶金？ [11] - 12:01
  1. [V2EX] 🆕 AI 时代的开发，还有必要像以前规划各种模块吗？ [22] - 12:01
  1. [IT之家] 🆕 曹操出行与豆包联合推出 AI 打车服务，能一句话选车、设置空调温度等 [24] - 12:01

📌 [3/16] 华为 : 2 条

  1. [IT之家] 🆕 消息称华为 Pura X View、Mate XT 2 非凡大师手机支持端侧本地大模型下载部署 [11] - 12:01
  1. [IT之家] 🆕 鸿蒙智行展示智界 RX 轿跑 SUV 防撞制动功能：手动关闭后，车辆重启将自动打开 [23] - 12:01

📌 [4/16] OpenAI / Claude : 2 条

  1. [IT之家] 🆕 已修复：OpenAI 的 ChatGPT 生图功能出现故障，持续约 7.5 小时 [5] - 12:01
  1. [IT之家] 🆕 OpenAI AI 训练版权纠纷案新细节：GPT-5 可代笔乔治 ·R·R· 马丁撰写《冰与火之歌》 [9] - 12:01

📌 [5/16] 印度 : 2 条

  1. [今日头条] 🆕 印度女运动员因外貌遭网暴 [5] - 12:01
  1. [今日头条] 🆕 印度为何在金砖峰会前叫停与阿里合作 [17] - 12:01

📌 [6/16] 胖东来 : 1 条

  1. [今日头条] 🆕 胖东来盖楼为何被全网盛赞 [30] - 12:01

📌 [7/16] 比亚迪 : 1 条

  1. [IT之家] 🆕 32.98 万元，比亚迪全新腾势 Z9GT 易三方闪充尊越型正式上市 [25] - 12:01

📌 [8/16] 字节跳动 : 1 条

  1. [V2EX] 🆕 在 X、小红署、抖音、B 站等社交平台收集了一堆各种类型小视频目前有共 1377 个视频 [20] - 12:01

📌 [9/16] 腾讯 : 1 条

  1. [IT之家] 🆕 微信新增私密朋友圈发表入口，iOS 和安卓端灰度测试 [19] - 12:01

📌 [10/16] 英伟达 / AMD : 1 条

  1. [IT之家] 🆕 苹果 M5 Pro 非官方移植英伟达 DLSS 5：画质提升、延迟达 240ms [30] - 12:01

📌 [11/16] 中国 : 1 条

  1. [IT之家] 🆕 航天员们平时吃什么？中国航天员在太空烤上了小蛋糕，隔着屏幕都能闻到香味 [20] - 12:01

📌 [12/16] 东亚 : 1 条

  1. [V2EX] 🆕 菲区/日区 GPT 20x 4 人新车 人满开 肉身墙外 日本个人签约原生万兆上下对等家宽+日币日本实体信用卡 [13] - 12:01

📌 [13/16] 北美 : 1 条

  1. [今日头条] 🆕 牛弹琴：美国的两个坏消息 [15] - 12:01

📌 [14/16] 俄罗斯 : 1 条

  1. [今日头条] 🆕 黑河技师学院迎来大批俄罗斯留学生 [13] - 12:01

📌 [15/16] 机器人 / 机器狗 / 具身智能 : 1 条

  1. [V2EX] 🆕 洗衣机坏了, gpt 指挥我排查/解决了问题, 感觉人形机器人有前途啊 [2] - 12:01

📌 [16/16] 量子 / 脑机 / 基因 : 1 条

  1. [IT之家] 🆕 IonQ：20000 物理量子比特计算机攻破比特币所用加密算法或仅需 26 天 [29] - 12:01
评论
yan

GPT-6 Astra推理等级怎么选才最省Token

卡兹克发文讲解GPT-6 Astra的推理强度等级（Reasoning Effort）含义，指出各档位是同一模型的不同思考预算，Ultra则类似拉起多个智能体协作的专项工作组。

阅读原文 →

评论
yan

Simon Willison 评 OpenAI 用未发布模型求解 Navier-Stokes 千禧年大奖难题之争

OpenAI 用未发布模型在约88小时内给出 Navier-Stokes 存在与光滑性问题（七大千禧年难题之一）的解答，并通过 GPT-6 Astra 完成17小时 Lean 形式化验证，全程发送490万条消息、消耗约3000亿输出 token。

阅读原文 →

评论