寻饭小窝平淡是真

ZCode完成安全整改 智谱承诺相关代码数据没有用于模型训练针对社区反馈的ZCode产品安全问题，智谱今日已经开源ZCode，并表示公司已完成全面整改，向所有用户致歉。公司明确承诺：对于社区反馈中提及的代码及相关数据，不作任何形式的留存，且从未将其用于模型训练。整改完成后，公司邀请中国信息通信研究院和绿盟科技开展安全审计。公司已将ZCode开源，把代码交给社区监督。后续，公司将建立常态化产品安全漏洞响应机制，持续接受开发者反馈，并根据问题严重程度给予相应奖励。来源：新浪财经 / Github...

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

闲鱼涉黄产业链曝光：最小涉事者仅 14 岁闲鱼平台再次被曝暗藏涉黄产业链，部分涉事服务涉及未成年人，最小年龄仅 14 岁。商家以“模特上门约拍”等旗号发布商品，通过隐晦暗示引导用户至线下交易。对此，闲鱼客服回应称平台对违规行为零容忍。数据显示，2026 年 1 月至今，闲鱼累计处置色情引流风险账号 98358 个，并主动移送线索配合公安打击色情团伙 15 个。新浪科技 科技圈· 茶馆 · 投稿...

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

家用“GFW”项目OpenGFW 重新开张—— hysteria_releases...

美白宫公布中国国家主席习近平访美行程美国白宫近日公布了中国国家主席习近平应邀对华盛顿进行国事访问的具体行程。根据安排，习近平将于9月23日抵达圣安德鲁斯联合基地，美国总统特朗普将前往机场迎接并举行欢迎仪式。访问期间，两国元首将举行双边会晤，就共同关心的议题深入交换意见，并共同出席在白宫东厅举行的国事晚宴。双方还计划共同参访美国国家档案馆等机构。此次会晤旨在推动两国关系进一步交流与合作。来源：彭博社...

美国车企敦促特朗普勿放行中国汽车入美美国总统特朗普与中国领导人习近平会晤在即，一个汽车行业组织联盟敦促他将中国汽车拒之门外，称中国车企一旦入局，将危及美国就业与国家安全。在特朗普与习近平下周举行国宴之前，这个包括汽车创新联盟和全国汽车经销商协会在内的联盟恳请总统“维持现行政策，对寻求在美国境内销售、进口或制造汽车的中国车企紧闭大门”。“允许他们在美国建厂，将让他们在美国市场获得立足之地，代价则由在美经营的制造商承担，”该联盟周四致特朗普的信中写道。这封信凸显出汽车业乃至整个美国企业界日益加剧的焦虑：担心特朗普正谋求与习近平达成协议，从而引来中国企业加大对美投资。—— 华尔街日报...

美法院或否决部分内容 TikTok与司法部4亿美元和解面临变数TikTok及其母公司字节跳动为解决违反美国《儿童在线隐私保护法》指控，原本已与美国司法部达成四亿美元的和解协议，但协议突遭波折，一名联邦法院法官称，他倾向于否决这份协议的部分内容。TikTok与司法部达成的和解协议分为两部分：TikTok同意立即支付三亿美元；此外，若法院终止联邦贸易委员会从2019年起对Musical.ly实施的同意令，TikTok将再追加支付一亿美元。后来并入TikTok的Musical.ly在2019年被指明知有幼童使用，在收集姓名、电子邮件地址和其他个人信息前，却未能获得家长的同意。—— 联合早报...