Simon Willison 评论 OpenAI 用未发布模型在约 88 小时内求解纳维-斯托克斯存在性与光滑性问题，并经 GPT-6 Astra 完成 17 小时 Lean 形式化验证。 🔗 阅读原文 via AIHOT · https://aihot.news/items/cmtts0bi50l1frofpe39el7a1
AIHOT
路透社报道称，DeepSeek 已聘请中信证券筹备科创板上市，目标今年递交 IPO 申请、明年挂牌，募资将用于算力基建、模型研发、芯片自研与人才激励。公司正推进新一轮融资，目标估值约 5000 亿元人民币，此前 6 月完成约 74 亿美元首轮外部融资，投后估值超 500 亿美元；2026 年前 7 个月营收约 4.75 亿元。 🔗 阅读原文 via AIHOT · https://aihot.news/items/cmttqzqw30jwkrofpxrj00ngg
OpenAI 上线 GPT Image 2.5，主打更快生成、更高清、多轮编辑一致性和区域标注精修，并新增涂鸦绘图与 15 个图片模版功能。API 同步发布 GPT-Image-2.5 Flare（速度提升 50%）和 GPT-Image-2.5 Sunburst（更高精度）。 🔗 阅读原文 via AIHOT · https://aihot.news/items/cmttklkuj0chfrofpzacvz20x
卡兹克发文讲解GPT-6 Astra的推理强度等级（Reasoning Effort）含义，指出各档位是同一模型的不同思考预算，Ultra则类似拉起多个智能体协作的专项工作组。 🔗 阅读原文 via AIHOT · https://aihot.news/items/cmttcqkx404pprofp0jwc34zu
OpenRouter 推出 US In-Region Routing，请求经 us.openrouter.ai 在美国境内解密并只路由到美国 provider 端点，eu.openrouter.ai 同理服务欧盟。 🔗 阅读原文 via AIHOT · https://aihot.news/items/cmtu70vhj11u4rofpg46vvloh
OpenAI 用未发布模型在约88小时内给出 Navier-Stokes 存在与光滑性问题（七大千禧年难题之一）的解答，并通过 GPT-6 Astra 完成17小时 Lean 形式化验证，全程发送490万条消息、消耗约3000亿输出 token。 🔗 阅读原文 via AIHOT · https://aihot.news/items/cmttbyra803k5rofpxjajvkez
Meta 的 Muse 智能体产品开放更多用户试用，入口为 https://muse.ai/join，Meta 首席 AI 官 Alexandr Wang 称团队为产品倾注心血并感谢用户反响。引用的评价称其设计、速度和浏览器等智能体流程表现出色，具备 Instagram 等 Meta 产品原生集成优势，但也指出 soul.md 等命名对普通用户不直观、feed 内容相关性不足等问题。 🔗 阅读原文 via AIHOT · https://aihot.news/items/cmttchnc104jvrofp05adlcv6
Runway 发布 Runway Plugins，新面板可直接嵌入 Premiere Pro 和 After Effects，在时间线内生成图像和视频、重绘片段并放置结果。Edit Studio 可基于已有片段用 Aleph 2 按原始时长重新渲染，插件免费下载（macOS 和 Windows），生成功能面向所有付费计划并消耗现有额度。 🔗 阅读原文 via AIHOT · https://aihot.news/items/cmtt7nvmn02h6romq0xpo0p2w
OpenAI 宣布 Astra 已全面推送给 Codex 和 ChatGPT Work 中的 Plus、Pro、Business 和 Enterprise 用户。用户可以直接使用，并可通过 openai.com/gpt-tv/ 观看 Astra 的实机演示。 🔗 阅读原文 via AIHOT · https://aihot.news/items/cmtt65r1002f0rocpzpypdjgt
Sam Altman 发文回应与 Anthropic 一方围绕 Euler/Navier-Stokes 证明发布的争议，称对方只有 Euler 结果、双方协调失败，并称对方以抄袭指控相威胁。 🔗 阅读原文 via AIHOT · https://aihot.news/items/cmtszfjuo04a7ro5wxi2n02va