寻饭小窝平淡是真

微软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%；政策据称主要针对首次购房新增贷款，存量房贷大概率不在范围内，二套房贴息仍在研究。#未知信源...

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

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

Kimi Code桌面客户端上线36氪获悉，Kimi Code官方桌面客户端macOS和Windows版同步上线。针对开发者的实际工作流，桌面端还提供内置终端、浏览器和Git状态查看等功能，支持直接运行和调试项目、审阅代码改动，关联PR状态，方便跟踪代码评审与合并进度。—— 36氪...

亚马逊禁止Meta的AI代理在其网站上购物亚马逊表示，在试图说服Facebook母公司主动将该电子商务网站排除在其体验之外未果后，已禁止Meta的新型个人AI代理Muse代表客户在Amazon.com上购物。亚马逊指出，问题在于Meta从未告知亚马逊Muse将访问其商店，该代理在浏览时不会表明身份，并且似乎会捕获并存储客户凭据，这可能造成隐私和安全风险。亚马逊发言人在声明中表示：“我们认为，代表客户向其他企业进行购买的第三方应用程序应该公开运作，并尊重服务提供商关于是否参与的决定。”—— GeekWire...