OpenAI 宣布下一代模型给出 Navier–Stokes 千禧难题解法
9 月 8 日，OpenAI 公布了一份针对 Navier–Stokes 存在性与光滑性问题的证明，称其内部下一代模型构造出了三维不可压缩 Navier–Stokes 方程的有限时间奇点。该内部模型仍在训练中，OpenAI 称其数学能力“显著强于 GPT-6 Astra”。
公开论文共 165 页。证明从静止、光滑初始状态出发，通过构造一个光滑且具有紧支撑的外力，使流体速度在有限时间内变得无界，同时保持总动能有界。OpenAI 称这满足 Clay 官方问题定义中的反例条件 C，并同时给出对应条件 D 的结果。
OpenAI 表示，最终找到 Navier–Stokes 解法的系统规模约为 1 万个并行代理。代理在启动约 88 小时后得到结果，随后 GPT-6 Astra 又用了约 17 小时完成 Lean 形式化与验证。整个 Navier–Stokes 阶段产生约 270 万条代理消息和约 1300 亿个输出 token。OpenAI 已同时公开数学证明和 Lean 形式化版本。
来源
9 月 8 日，OpenAI 公布了一份针对 Navier–Stokes 存在性与光滑性问题的证明，称其内部下一代模型构造出了三维不可压缩 Navier–Stokes 方程的有限时间奇点。该内部模型仍在训练中，OpenAI 称其数学能力“显著强于 GPT-6 Astra”。
公开论文共 165 页。证明从静止、光滑初始状态出发，通过构造一个光滑且具有紧支撑的外力，使流体速度在有限时间内变得无界，同时保持总动能有界。OpenAI 称这满足 Clay 官方问题定义中的反例条件 C，并同时给出对应条件 D 的结果。
OpenAI 表示，最终找到 Navier–Stokes 解法的系统规模约为 1 万个并行代理。代理在启动约 88 小时后得到结果，随后 GPT-6 Astra 又用了约 17 小时完成 Lean 形式化与验证。整个 Navier–Stokes 阶段产生约 270 万条代理消息和约 1300 亿个输出 token。OpenAI 已同时公开数学证明和 Lean 形式化版本。
来源
来自频道: @DNSPODT
新华传媒公告称，公司拟以发行股份方式购买上海界面财联社科技股份有限公司控股权，预计构成重大资产重组，不构成重组上市。本次交易构成关联交易，交易对方初步确定为控股股东上海报业集团全资子公司上海报业集团文化新媒体投资管理有限公司等主体。
▎Source
▎Source
来自频道: @DNSPODT
手机外设制造商CASETiFY最近在其官网上架了苹果首款折叠屏手机保护壳页面，官方将该机称为“iPhone Duo”，而非前网传的“iPhone Ultra”或“iPhone Fold”。目前页面已被下架。
来源：外汇交易员
来自频道: @DNSPODT
DeepSeek 今日在官方交流群内发布通知，DeepSeek V4.1 Flash 的中间版本内测，采用了新的模型结构，原生多模态支持、能力更强、速度更快、成本更低。
内测用户可保持 base_url 不变，将模型名设置为 deepseek-v4.1-flash-expires-on-0910 即可调用，当前计费与 deepseek-v4-flash 相同，每账号限流 20 并发。
来源：IT之家
来自频道: @DNSPODT
来源：证券时报 / QoderWake
来自频道: @DNSPODT
多部门印发通知 扩大灵活就业人员等群体基本医保参保规模
国家医保局、财政部、交通运输部等6部门近日联合印发通知，启动灵活就业人员、农民工、新就业形态人员参加基本医疗保险提质专项行动。
灵活就业人员参加职工医保，缴费年限可以按月累计，每满12个月折算为1年缴费年限。
来源：经济观察网
国家医保局、财政部、交通运输部等6部门近日联合印发通知，启动灵活就业人员、农民工、新就业形态人员参加基本医疗保险提质专项行动。
灵活就业人员参加职工医保，缴费年限可以按月累计，每满12个月折算为1年缴费年限。
来源：经济观察网
来自频道: @DNSPODT
中国公共舆论监管与信息管控持续收紧
近期事件显示，中国对线上及线下公共表达的监管力度不断加大。知名相声演员郭德纲因在演出中改动革命歌曲歌词未提前报备，导致后续多场演出被取消，相关讨论贴文亦遭清理。同时，在近期西南边境的洪涝与泥石流灾害报道中，官方严格限定了信息发布源头，并对网络“造谣”行为进行了整治，重点突出救援工作进展。
观察指出，借助人工智能等技术手段，信息管理体系更加高效，旨在规范网络传播秩序、防范舆论风险。这种管控机制不仅深刻影响着网络讨论的空间，也进一步塑造了公众在日常生活与线下社交中的表达习惯。
来源：经济学人
近期事件显示，中国对线上及线下公共表达的监管力度不断加大。知名相声演员郭德纲因在演出中改动革命歌曲歌词未提前报备，导致后续多场演出被取消，相关讨论贴文亦遭清理。同时，在近期西南边境的洪涝与泥石流灾害报道中，官方严格限定了信息发布源头，并对网络“造谣”行为进行了整治，重点突出救援工作进展。
观察指出，借助人工智能等技术手段，信息管理体系更加高效，旨在规范网络传播秩序、防范舆论风险。这种管控机制不仅深刻影响着网络讨论的空间，也进一步塑造了公众在日常生活与线下社交中的表达习惯。
来源：经济学人
来自频道: @DNSPODT
中国工信部、市场监管总局发文推动汽车企业规范供应商账款支付，包括进一步规范账期起算时间、按期足额支付账款、不得变相强迫供应商接受商业承兑汇票、供应链票据等非现金支付方式等。这是中国规范新能源汽车产业竞争秩序的最新举措。
来源：每经网
来源：每经网
来自频道: @DNSPODT
来自频道: @DNSPODT
AI模型GPT-6 Astra成功通关3D解谜游戏《传送门》
一名AI爱好者近期利用OpenAI的GPT-6 Astra模型进行了自主通关经典3D解谜游戏《传送门》（Portal）的测试。该模型通过接收游戏截图与角色位置数据进行自主思考与规划，并在工具辅助下完成3D空间建模与解谜操作。本次测试共调用工具3,336次，历时约24小时，APItoken消耗总价值约为571美元，实际费用由测试者的订阅服务覆盖。测试者表示，该实验虽然展示了多模态通用智能体在复杂交互场景中的潜力，但目前仍存在不少技术挑战，不应作为标准AI基准测试。
来源：XDA / Youtube
一名AI爱好者近期利用OpenAI的GPT-6 Astra模型进行了自主通关经典3D解谜游戏《传送门》（Portal）的测试。该模型通过接收游戏截图与角色位置数据进行自主思考与规划，并在工具辅助下完成3D空间建模与解谜操作。本次测试共调用工具3,336次，历时约24小时，APItoken消耗总价值约为571美元，实际费用由测试者的订阅服务覆盖。测试者表示，该实验虽然展示了多模态通用智能体在复杂交互场景中的潜力，但目前仍存在不少技术挑战，不应作为标准AI基准测试。
来源：XDA / Youtube
来自频道: @DNSPODT
华为时隔六年再次发布高性能芯片
华为7日在广州发布Mate XT 2三折叠手机，搭载最新的麒麟9050 Pro芯片，这是首款采用逻辑折叠技术的高性能芯片。据了解，麒麟9050 Pro在单芯片内将逻辑单元分层排布，如同从平层升级为复式，内部增设垂直互联通道，好似加装“电梯”，信号传输路径更短、时延更低、性能更好。这也是继华为Mate40全球发布会之后，华为时隔六年在旗舰发布会上推出全新麒麟芯片。
来源：界面新闻
华为7日在广州发布Mate XT 2三折叠手机，搭载最新的麒麟9050 Pro芯片，这是首款采用逻辑折叠技术的高性能芯片。据了解，麒麟9050 Pro在单芯片内将逻辑单元分层排布，如同从平层升级为复式，内部增设垂直互联通道，好似加装“电梯”，信号传输路径更短、时延更低、性能更好。这也是继华为Mate40全球发布会之后，华为时隔六年在旗舰发布会上推出全新麒麟芯片。
来源：界面新闻
来自频道: @DNSPODT
黄仁勋回应OpenAI发布Astra：AGI已到来
英伟达首席执行官黄仁勋在社交平台发文，向OpenAI新模型Astra的发布表示祝贺，并称通用人工智能（AGI）已经到来。OpenAI于近期推出的Astra模型被其称为最智能的模型，强调其具备执行高难度专业工作的能力。黄仁勋同时提及，该模型基于英伟达芯片训练，并透露未来将有40万块GPU上线投入使用。
对此，部分业内学者持保留意见，认为目前对于AGI尚无统一的标准与定义。尽管争议尚存，以OpenAI为代表的AI巨头对算力芯片的强劲需求，正持续推动英伟达数据中心业务及整体业绩实现快速增长。
来源：Business Insider
英伟达首席执行官黄仁勋在社交平台发文，向OpenAI新模型Astra的发布表示祝贺，并称通用人工智能（AGI）已经到来。OpenAI于近期推出的Astra模型被其称为最智能的模型，强调其具备执行高难度专业工作的能力。黄仁勋同时提及，该模型基于英伟达芯片训练，并透露未来将有40万块GPU上线投入使用。
对此，部分业内学者持保留意见，认为目前对于AGI尚无统一的标准与定义。尽管争议尚存，以OpenAI为代表的AI巨头对算力芯片的强劲需求，正持续推动英伟达数据中心业务及整体业绩实现快速增长。
来源：Business Insider
来自频道: @DNSPODT
楼市“组合拳”新政落地十天 多地房地产市场显著回暖
8月28日多部门出台推进行房销售、优化房贷及放宽商业用房贷款等政策后，深圳、北京、上海、武汉等多地楼市活跃度明显提升。新政有效降低了购房门槛与月供压力，叠加“金九银十”传统旺季与地方补贴政策，刚需及改善型购房者入市节奏加快。各售楼处与中介门店带看量、成交量普遍上涨，现房及实景销售更受市场青睐，整体房地产市场呈现回暖态势。
来源：杭州网
8月28日多部门出台推进行房销售、优化房贷及放宽商业用房贷款等政策后，深圳、北京、上海、武汉等多地楼市活跃度明显提升。新政有效降低了购房门槛与月供压力，叠加“金九银十”传统旺季与地方补贴政策，刚需及改善型购房者入市节奏加快。各售楼处与中介门店带看量、成交量普遍上涨，现房及实景销售更受市场青睐，整体房地产市场呈现回暖态势。
来源：杭州网
来自频道: @DNSPODT
OpenAI发布智能体报告：智能体工作量首超人类研究员
OpenAI官方报告显示，编码智能体已深度融入其AI研究工作。截至8月中旬，研究人员委托智能体处理的代码编写、实验运行等任务复杂度与成功率持续提升，智能体工作日与人类之比达3.1倍，工作量首次超越人类研究员。
此外，受Hugging Face事件影响，OpenAI暂停了最新模型Astra的强化学习训练，并将部分训练转移至其他模型。公司预计在2028年3月前实现自动化AI研究员，并呼吁建立AGI民主治理机制。
来源：品玩
OpenAI官方报告显示，编码智能体已深度融入其AI研究工作。截至8月中旬，研究人员委托智能体处理的代码编写、实验运行等任务复杂度与成功率持续提升，智能体工作日与人类之比达3.1倍，工作量首次超越人类研究员。
此外，受Hugging Face事件影响，OpenAI暂停了最新模型Astra的强化学习训练，并将部分训练转移至其他模型。公司预计在2028年3月前实现自动化AI研究员，并呼吁建立AGI民主治理机制。
来源：品玩
来自频道: @DNSPODT
综合乌克兰通讯社、路透社、美联社和塔斯社的报道，9月6日星期日，美国特使史蒂夫·维特科夫和贾里德·库什纳在基辅会见了乌克兰总统泽连斯基。二人此前已经多次以战争调解人的身份造访莫斯科，本次乘火车造访基辅，这是头一次。
维特科夫表示，美方对“具有实质性且重要的讨论感到鼓舞”，并希望不久后举行美国斡旋下的俄乌新一轮谈判。库什纳则称，特朗普总统的意见是，不仅要“理解如何结束这场战争，还要考虑如何为持久的和平创造条件”。
来源：rfi
维特科夫表示，美方对“具有实质性且重要的讨论感到鼓舞”，并希望不久后举行美国斡旋下的俄乌新一轮谈判。库什纳则称，特朗普总统的意见是，不仅要“理解如何结束这场战争，还要考虑如何为持久的和平创造条件”。
来源：rfi
来自频道: @DNSPODT
《纽约时报》：浪潮（Inspur）旗下美国子公司 Aivres 疑似利用美国出口管制漏洞，构建了一条经东南亚向中国转移先进 AI 计算设备的供应网络。
贸易数据显示，2024 年 4 月至 2026 年 2 月，Aivres 向东南亚出口至少 56 亿美元美国先进技术，其中包括超过 30 亿美元的英伟达 Blackwell 芯片及相关设备。部分设备随后流向为阿里巴巴、字节跳动等中国科技企业提供服务的数据中心和技术公司。
与此同时，一家 2025 年在中国成立、与浪潮存在多重人员及商业关联的国有企业 Maginfra，在半年内从马来西亚进口价值超过 7 亿美元的服务器，其中 1500 多台服务器的单价显示其具备高端 AI 计算能力。香港交易所文件还显示，Maginfra 去年 11 月与一家中国国有银行部门签署了 1.65 亿美元的高性能计算技术供应合同。
nytimes.com
贸易数据显示，2024 年 4 月至 2026 年 2 月，Aivres 向东南亚出口至少 56 亿美元美国先进技术，其中包括超过 30 亿美元的英伟达 Blackwell 芯片及相关设备。部分设备随后流向为阿里巴巴、字节跳动等中国科技企业提供服务的数据中心和技术公司。
与此同时，一家 2025 年在中国成立、与浪潮存在多重人员及商业关联的国有企业 Maginfra，在半年内从马来西亚进口价值超过 7 亿美元的服务器，其中 1500 多台服务器的单价显示其具备高端 AI 计算能力。香港交易所文件还显示，Maginfra 去年 11 月与一家中国国有银行部门签署了 1.65 亿美元的高性能计算技术供应合同。
nytimes.com
来自频道: @DNSPODT
CERT Polska发现MikroTik RouterOS高危漏洞且已被利用 官方紧急发布修复补丁
波兰国家计算机应急响应小组（CERT Polska）于2026年9月5日发布警告，宣布在MikroTik RouterOS中发现了6个安全漏洞。其中，代号为“MikroTrick”的漏洞组合可允许攻击者在无需身份验证的情况下，通过SSH协议完全控制受影响的网络设备。官方确认上述漏洞已在公网遭到活跃利用，已有攻击者借此获取设备最高控制权并植入恶意账户。
目前MikroTik已正式发布补丁，更新至RouterOS 7.25beta3、7.24.2、7.23.4或6.49.21版本可有效防御此类攻击。系统更新后将引入“Flagged”扫描机制，自动检测并标记受攻击风险。专家建议管理员应立即安排设备升级，同步排查未知用户、异常脚本及配置变更；若无法即时更新，须立即限制SSH等关键服务的公网访问权限。
来源：CERT
波兰国家计算机应急响应小组（CERT Polska）于2026年9月5日发布警告，宣布在MikroTik RouterOS中发现了6个安全漏洞。其中，代号为“MikroTrick”的漏洞组合可允许攻击者在无需身份验证的情况下，通过SSH协议完全控制受影响的网络设备。官方确认上述漏洞已在公网遭到活跃利用，已有攻击者借此获取设备最高控制权并植入恶意账户。
目前MikroTik已正式发布补丁，更新至RouterOS 7.25beta3、7.24.2、7.23.4或6.49.21版本可有效防御此类攻击。系统更新后将引入“Flagged”扫描机制，自动检测并标记受攻击风险。专家建议管理员应立即安排设备升级，同步排查未知用户、异常脚本及配置变更；若无法即时更新，须立即限制SSH等关键服务的公网访问权限。
来源：CERT
来自频道: @DNSPODT