寻饭小窝平淡是真

Disney+宣布所有套餐都会包含广告迪士尼日前向英国地区的 Disney+ 流媒体视频订阅用户发送新版用户协议，在协议中迪士尼称该公司有权在所有订阅层级中插播广告，插播的广告就被放在片头和片尾，迪士尼不保证任何订阅级别具体看到的广告数量或频率。此前 Disney+ 推出价格更便宜的广告订阅套餐，这类套餐功能更少并且会有广告，但好处是订阅价格更低。而迪士尼的新做法则是在所有订阅层级中添加广告，如此的话单独的广告订阅套餐就没必要存在。—— 蓝点网...

微软AI负责人：不应以中国AI进展为由反对监管微软AI业务负责人苏莱曼说，对中国在AI领域取得进展的担忧，不应被用作反对为这项快速发展的技术设置护栏的理由。苏莱曼在节目中表示：“我认为，我们不应该把中国当作不推进自身AI安全工作的挡箭牌。”苏莱曼领导的微软AI团队在上周二发布了一份宣言，为其自身的AI开发提供指导，目标是让人类始终掌控公司未来开发的AI系统。他表示，AI开发者应当为模型设定目标，而这些目标要“受人文主义准则的约束”。“我认为业内每个人都应该为模型设定这样的准则，也就是为它们设定明确的安全护栏。”—— 凤凰网科技...

GPT-6 Astra在哥德巴赫猜想刘维尔弱形式上取得重大突破人工智能模型GPT-6 Astra在数论领域取得重要进展，成功无条件证明了哥德巴赫猜想的刘维尔（Liouville）弱形式。该证明表明，任意大于2的偶数均可表示为两个刘维尔函数值均为-1的正整数之和。相关成果不依赖广义黎曼猜想（GRH），且无“充分大”的数值限制，涵盖所有大于2的偶数。据悉，该论证采用初等代数与逻辑推理路线，避免了暴力计算，且相关证明代码已完全通过Lean 4形式化验证，确保逻辑严格无误。尽管该结论尚未直接攻克原版哥德巴赫猜想（即加数为纯素数的“1+1”），但为研究数论中乘法结构与加法组合的联系提供了全新的思路与工具...

RSA-896在Claude帮助下已被破解2026年9月19日，Anthropic工程师Stephen A. Weis在Claude的协助下，公布了RSA-896的质因数分解结果——这是一个源自RSA安全公司历史性“RSA因数分解挑战赛”的半素数，包含270位十进制数字，并由两个448位素数乘积而来。这一成果将整数分解的公开纪录从862位提升至896位，且距离上一项纪录被打破仅过去了十六天。这是短短两周内连续取得的第二个AI辅助密码分析里程碑。这项工作的一个显著特点在于 Claude 所发挥的作用。CADO-NFS 是一套针对传统 CPU 精心优化的“通用数域筛法”（GNFS）开源代码库。We...

中美AI模型开发周期缩短至1/3 平均44天中美牵涉的AI开发正在加速。自4月以来，新模型发布的周期平均已至44天，比以往的大约一半。AI自身参与AI开发的“自我进化”正在发生，这成为引发AI威胁论的导火索。2023年1月至2026年3月的平均间隔为125天，而2026年4月至9月则大幅短片至44天。进入9月，OpenAI和Anthropic发布了最新模型。Meta自7月以来，每月都在升级其尖端模型“Muse Spark”。美国谷歌则在9月2日仅用三周时间就推出了比上一个版本更新的Gemini。而SpaceX的Grok则至8月，连续3个月推出了新模型。在中国企业来看，DeepSeek从7月起每...

市场传言称，9月30日前或出台全国性首套新房房贷贴息政策，中央及地方财政合计贴息或达40–100BP，若按顶格执行，部分地区首套房贷利率可能降至约2.05%；政策据称主要针对首次购房新增贷款，存量房贷大概率不在范围内，二套房贴息仍在研究。#未知信源...

亚马逊官宣接入 Kimi K3，Kimi 与海外云厂商分成模式正式落地亚马逊云科技（AWS）旗下大模型服务平台 Amazon Bedrock 日前宣布接入开源大模型 Kimi K3，全球企业开发者可通过 Bedrock 直接调用，此前传闻的 Kimi 与海外云厂商收入分成合作正式落地。据了解，月之暗面正与多家海外云厂商推进收入分成合作，云厂商在其平台上架 Kimi 模型，并基于模型调用量与月之暗面进行分成，这是中国大模型公司首次以分成模式向全球三大云厂商输出模型能力。36kr 科技圈· 茶馆 · 投稿...

贝森特：中美会谈非常成功，重点讨论贸易与人工智能中方：促进双边贸易投资等双方共同关心的重要经贸问题，进行了坦诚、深入、富有建设性的交流，并就人工智能有关问题举行对话#观点 从双方通稿看，这轮沟通信号比较积极（非常成功、富有建设性）非战略行业降关税，是中美最容易形成共识、并落地的领域来源：hongsv11 / 新华社 / FT...

应美利坚合众国总统特朗普邀请，国家主席习近平将于9月23日至25日对美国进行国事访问。来源：新华社...