OpenAI宣布借助万个AI智能体攻克百年数学难题
OpenAI于9月8日宣布，利用约1万个自主运行的AI智能体协作，耗时88小时证明了流体力学中的“纳维-斯托克斯方程”。该方程自1934年以来长期未被破解，属于克雷数学研究所设立的100万美元“千禧年大奖难题”之一。OpenAI表示，此举标志着人工智能发展跨入新阶段。
然而，该项研究的过程也引发了学术界关注。一名此前从事同类课题的美国研究人员对OpenAI的研究过程提出了强烈反对，相关争议目前仍在持续发酵。
来源：日经中文网
OpenAI于9月8日宣布，利用约1万个自主运行的AI智能体协作，耗时88小时证明了流体力学中的“纳维-斯托克斯方程”。该方程自1934年以来长期未被破解，属于克雷数学研究所设立的100万美元“千禧年大奖难题”之一。OpenAI表示，此举标志着人工智能发展跨入新阶段。
然而，该项研究的过程也引发了学术界关注。一名此前从事同类课题的美国研究人员对OpenAI的研究过程提出了强烈反对，相关争议目前仍在持续发酵。
来源：日经中文网
来自频道: @DNSPODT
新华社北京9月9日电 “一国两制”杰出贡献者，著名的爱国人士，杰出的社会活动家，中国共产党的亲密朋友，中国人民政治协商会议第十届、十一届、十二届、十三届全国委员会副主席，香港特别行政区第一任、第二任行政长官董建华先生，因病于2026年9月8日21时57分在香港逝世，享年89岁。
来源：新华网
来源：新华网
来自频道: @DNSPODT
美国交通部长就涉华合作指责福特汽车
特朗普政府抨击福特汽车与中国企业的商业合作，称这些合作引发国家安全担忧。美国运输部长达菲致信福特首席执行官法利称，福特与宁德时代、吉利和比亚迪的业务往来引发“深切担忧”。他敦促福特切断与中国大型企业的联系。中国驻美大使馆与相关企业未立即回应置评请求。
来源：彭博社
特朗普政府抨击福特汽车与中国企业的商业合作，称这些合作引发国家安全担忧。美国运输部长达菲致信福特首席执行官法利称，福特与宁德时代、吉利和比亚迪的业务往来引发“深切担忧”。他敦促福特切断与中国大型企业的联系。中国驻美大使馆与相关企业未立即回应置评请求。
来源：彭博社
来自频道: @DNSPODT
ChatGPT Images 2.5—faster, sharper, smarter, with better tools for creating whatever you can dream of
- Faster image generation to keep your ideas flowing
- Improved fidelity for more natural, recognizable images
- Consistent details across multiple edits
- Comment-based edits to change only what you want
[Jump to blog post](<https://openai.com/index/introducing-chatgpt-images-2-5/>)
- Faster image generation to keep your ideas flowing
- Improved fidelity for more natural, recognizable images
- Consistent details across multiple edits
- Comment-based edits to change only what you want
[Jump to blog post](<https://openai.com/index/introducing-chatgpt-images-2-5/>)
来自频道: @DNSPODT
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