∞ 中方对外资收购Manus项目作出安全审查决定
据国家发展改革委消息，外商投资安全审查工作机制办公室（国家发展改革委）依法依规对外资收购Manus项目作出禁止投资决定，要求当事人撤销该收购交易。
∞ 丰田放弃极致品控降本 卸任社长：不改变 我们将无法生存
电动车掀起的全球汽车产业革命，已经将日产逼至破产边缘，本田市场份额节节败退。就连蝉联全球汽车销量冠军的丰田，也陷入了前所未有的生存焦虑。上个月，刚卸任丰田社长职务的佐藤恒治，在丰田供应商大会上发表了重磅讲话。面对台下484家供应商的负责人，他语出惊人：“如果事情没有变化，我们将无法生存。”
他还直言，此时此刻，汽车产业已经是在为生存而奋斗。这番话让在场的供应商负责人无不倍感压力，这场大会也被视作佐藤恒治的告别演说，更是丰田拉响的最高级别生存警报。
这场震动行业的表态背后，是电动车浪潮给丰田带来的致命成本挑战。丰田用半个世纪搭建起的燃油车供应链体系，如今反而成了转型的沉重包袱。
它无法轻易舍弃传动轴、变速箱等燃油车核心零部件的供应链，这背后关联着上百家供应商的生死。而另一边，中国车企已经能快速打造出动力强劲的电动车，还拥有极低的制造成本。
为了降低生产成本，丰田的第一个转变，很可能让车主感到不安。接下来，丰田将放宽坚守数十年的极致品控标准。丰田将全面推进“智慧标准活动”，避免因过度追求极致工艺推高成本、造成原材料浪费。
以前电线接头的塑胶壳如果有黑点就会被丰田退货，现在他们开始放弃这种极致的品控要求
要知道，过去丰田对供应商的零件品控，标准近乎吹毛求疵。举个具体的例子，方向盘表面材质褶皱过多、车顶内衬出现肉眼难辨的黑点、电线接头的塑胶壳发生轻微变色，哪怕是这类消费者日常用车根本不会留意的细节，都会被丰田直接做退货处理。
甚至有电线供应商透露，仅因为塑胶外壳变色这一项要求，每个月就要报废上万组全新的线材。丰田采购经理西原庄司坦言，普通消费者根本不会注意到这些零件细节，放宽相关要求，能有效降低生产成本。
2026年4月1日，近健太正式接任丰田汽车社长兼CEO，接替原社长佐藤恒治。他在就任初期多次公开表示，丰田当前的经营环境“并不安全也不舒适”，并强调公司“并非高枕无忧”。
数据显示，丰田的销量和营收虽有上涨，但营业利益与净利润已出现缩水。这家全球汽车巨头，正在用最激进的方式，应对电动化时代的生存大考。
∞ 中国信通院正式启动DeepSeek V4国产化适配测试工作
中国信通院今天宣布，正式启动DeepSeek V4国产化适配测试，推动模型与国产软硬件深度协同、加速产业落地。本次测试依托工信部重点实验室与AISHPerf基准体系开展，覆盖芯片、服务器、一体机、集群、开发工具链、智算平台等全栈AI软硬件产品，聚焦DeepSeek V4全系列模型的推理、微调流程。
评测从适配易用性、功能完备性、优化效果、性能、成本五大维度评估，并新增长序列处理、代码能力、智能体调用成功率、任务拆解等专项指标，形成立体化评测体系。
DeepSeek V4发布当日已实现多家国产硬件Day-0适配，标志国产AI软硬件进入同频迭代阶段。
本次测试将客观验证适配水平，强化国产算力支撑，加快构建自主可控AI生态。
DeepSeek V4包含V4-Pro（旗舰版）与V4-Flash（轻量版）双版本，两大版本均原生支持100万Token超长上下文（约75万字），采用自研DSA稀疏注意力机制，百万上下文推理成本降低70%，显存占用减少40%。
V4-Pro：总参数达1.6万亿，激活参数49B，主打顶级性能上限，对标GPT-5、Claude Opus等全球顶尖闭源模型，适配复杂推理、代码生成、科研计算等高难度任务。
V4-Flash：总参数284B，激活参数13B，主打高效低成本，推理能力接近Pro版，速度更快、价格更低，适合日常交互、内容创作、企业轻量化部署等场景。
∞ 微软启动“Windows K2”整顿计划 力图重塑Windows 11口碑
微软正在推动一项代号为“Windows K2”的内部长期计划，目标是全面修复Windows 11在性能、可靠性和用户体验方面长期积累的问题，并试图重新赢回用户与发烧友群体对这一操作系统平台的信任。 微软Windows负责人Pavan Davuluri早在今年3月就已确认，公司将着手解决Windows 11中的一系列严重“痛点”，这些问题此前因微软持续强化AI布局、频繁引入争议性改动、却忽视系统基础体验而不断放大负面舆论。
根据报道，微软内部如今对Windows 11的整顿态度相当认真，公司的目标是在2026年底到2027年期间，将Windows 11打造成一个“用户愿意使用、也愿意为之自豪”的平台。 “Windows K2”并不是一次单点修补，而是被定义为一项持续推进的系统性工程，它不仅要求产品层面回归基本功，也要求Windows团队在内部开发文化和协作方式上作出明显调整。
在这项计划中，微软将“性能”“打磨工艺”和“可靠性”列为三大核心支柱。 报道指出，微软正通过直接收集普通用户和Windows Insider测试者的反馈、分析遥测数据以及组织客户焦点小组等方式，重新评估Windows 11当前最突出的短板，并据此决定后续改进重点。 与此同时，K2项目也在向团队内部“开刀”，希望改进代码提交、功能上线和跨团队协作机制，以避免过去那种为了追求快速交付而牺牲成品质量的开发惯性。
报道提到，过去几年中，Windows团队一度高度迷恋“敏捷开发”和高频功能更新，希望尽快把新特性推向市场，但这种节奏最终让系统质量和稳定性付出了代价。 用户面对的是一个变化过快、问题也不断增加的Windows系统，而不是一个稳定、可信赖的生产力平台。 如今，微软内部文化正从“追求速度”转向“优先质量”，新功能在达到更高内部标准之前，将不再轻易进入公开预览版本。
除前三大支柱外，报道还提到一个相对不那么公开的“第四支柱”——社区。 微软希望借助K2计划重新凝聚Windows爱好者和核心用户群体，包括恢复Windows Insider线下聚会，并安排更多Windows团队成员在社交媒体和论坛中直接回应用户意见，以改善长期以来用户对微软“只收集反馈、不真正倾听”的观感。
在具体改进方向上，性能被列为K2计划中的最高优先事项之一。 报道称，微软已经意识到，Windows 11在文件资源管理器、游戏表现以及右键菜单等系统界面元素上的性能体验均有所下滑，甚至在某些基准测试中，Windows 10的表现反而优于Windows 11。 因此，微软正试图通过底层调整扭转这一局面。
在游戏方面，微软已将steamOS视为重要对标对象。 报道称，微软正在优化Windows游戏平台，希望未来一到两年内，在相同硬件条件下，Windows的游戏性能能够真正与steamOS正面对抗。 这意味着微软并非只是在做表层优化，而是计划通过未来数月内逐步落地的底层平台改造，提高Windows在掌机和游戏设备上的竞争力。
文件资源管理器也是重点整治对象之一。 报道称，微软计划显著提升文件浏览、处理和搜索速度，并考虑引入类似“即时文件名搜索”这样的新能力。 微软甚至将一款第三方应用File Pilot视作参考基准，说明其目标不仅是小修小补，而是要明显改善用户在日常高频操作中的体感效率。
Windows Update同样将迎来调整。 报道指出，微软希望把Windows 11更新机制优化到“理论上每月只需重启一次”的水平，并通过后台机制修改，让显示驱动、音频驱动等更新尽可能安排在重启阶段完成，而不是在用户正常使用设备时插入更新流程。 这一方向若能实现，将有助于缓解Windows更新长期以来给用户带来的打断感和不确定性。
此外，微软还在推进Windows 11“减负”工作。 报道称，这项工作将重点压缩系统空闲状态下的内存占用，减少整体系统体积，以便让Windows 11在入门级硬件上运行得更顺畅，同时也为高性能PC和游戏掌机带来更轻盈的系统表现。
除性能与可靠性外，用户界面和功能设计层面的“打磨工艺”也是K2项目的重点。 微软已经确认，将重新带回Windows 11发布以来最受用户呼吁的功能之一——任务栏可移动和可调整大小的能力。 对许多老Windows用户来说，这项能力的回归不仅是功能补足，也被视作微软重新重视传统桌面操作习惯的一个信号。
报道还指出，K2计划正在推动更多团队更深入使用微软自家的Windows界面框架WinUI 3。 微软正为这一框架进行性能强化，希望让更多系统界面建立在更现代、统一且响应更快的原生框架之上，甚至逐步替换“运行”窗口、控制面板等仍带有传统遗留痕迹的界面部分。
为支撑这一目标，微软据称正在为WinUI 3引入新的System Compositor，也就是系统合成器。 报道称，这项改动旨在降低整个界面的延迟和内存开销，确保开始菜单、任务栏等关键元素即使在系统高负载状态下也能保持灵敏响应。
在此基础上，微软还在用WinUI 3原生方式从零重建开始菜单。 报道称，新版开始菜单的响应速度预计可比现有版本快最多60%，同时还将加入更多自定义选项，例如允许用户调整开始菜单尺寸、隐藏某些区域等。 这被视为微软试图同时解决“性能不足”和“可定制性不足”两类老问题的重要举措。
更受关注的是，K2项目也开始触及一些长期引发用户反感的“商业化过度”设计。 报道称，微软计划从开始菜单中移除广告内容，同时不再让MSN默认占据小组件面板的核心位置，而是让“小组件”本身回归主角，MSN则退居次要功能。 这意味着微软正在一定程度上重新审视过去几年Windows 11在内容分发、推荐信息和系统原生界面商业化上的策略。
按照报道说法，“Windows K2”并没有一个明确的结束日期，它更像是一套将长期塑造Windows未来开发方向的方法论。 微软希望借此修复Windows 11、重塑平台定位，并在未来持续维持这种改进节奏，而不是靠一次版本更新短暂提振口碑。 目前，属于K2计划的一部分改动已经开始陆续推出，更多内容预计将在今年夏季以预览形式上线。
∞ ChatGPT助业余数学爱好者攻克60年埃尔德什差异问题
据《科学美国人》4月24日报道，23岁的业余数学爱好者利亚姆·普赖斯在没有接受高等数学系统训练的情况下，借助ChatGPT Pro中可用的最新大语言模型，意外推动解决了一道困扰数学界约60年的埃尔德什问题，这一进展已引起多位知名数学家的高度关注。
报道称，这项成果之所以格外受重视，不仅因为相关问题曾让多位顶尖数学家久攻不下，更因为AI给出的证明思路并非对既有套路的简单复述，而是引入了一种此前无人想到可用于此类问题的方法。
此次被解决的问题，讨论的是一种被称为“原始集合”的特殊整数集合。 所谓原始集合，是指在同一个集合中，任意一个数都不能被另一个数整除；从这个意义上说，它把“素数不可再分”的性质，从单个数字推广到了整个数字集合层面，因此与素数有密切联系，任何素数集合天然都属于原始集合。
匈牙利传奇数学家保罗·埃尔德什曾为这类原始集合定义一个“埃尔德什和”，可以理解为衡量集合某种“权重”或“得分”的指标。 他此前已经证明，这个和的最大值大约为1.6，并猜想所有素数组成的无限集合也恰好达到这一上界；斯坦福大学数学家贾里德·利希特曼已于2022年在博士论文中证明这一猜想成立。 但更难的一道相关猜想是：当一个原始集合中的数都变得非常大时，它的这个“得分”会不断下降，而其理论上的最低极限应当正好是1。 也就是说，这道题要证明的是，随着集合元素趋向无穷大，这个分数会逼近1，而且1正是不能再低的下界。
报道指出，利希特曼本人也曾尝试证明这一猜想，但与此前其他研究者一样未能成功。 普赖斯则表示，他最初并不了解这道题的来龙去脉，只是在一个普通的周一下午，像平时那样把埃尔德什问题随手输入ChatGPT，看看模型能否给出思路，结果AI返回了一份“看起来是正确的解答”。
随后，普赖斯把结果发给了自己的合作伙伴凯文·巴雷托，后者是剑桥大学数学专业二年级本科生。 两人此前已因把公开的埃尔德什难题随机投喂给ChatGPT而受到关注，一名AI研究者后来甚至向他们赠送了ChatGPT Pro订阅，以支持他们这种带有实验性质的“氛围数学”尝试。 巴雷托在审阅这份结果后意识到事情并不寻常，随后通知相关专家，而学界很快对此作出反应。
加州大学洛杉矶分校数学家陶哲轩表示，过去研究这道题的人几乎都会沿着一套相对标准的起手路径展开推导，但这次大语言模型走的是完全不同的路线。 报道称，AI调用了一个在相关数学分支中早已为人熟知的公式，但此前从未有人想到可将其应用到这种问题上。 陶哲轩认为，这说明人类研究者在最初方向选择上可能集体出现了某种“思维偏置”，从而错过了一条实际上更直接的突破路径。
不过，专家也强调，ChatGPT最初输出的证明文本本身并不算成熟。 利希特曼表示，原始输出的质量其实“相当差”，必须由专业数学家进行梳理、筛选和重写，才能真正理解其想表达的核心逻辑。 目前，他与陶哲轩已经把这份证明压缩整理成更清晰的版本，以更准确地提炼AI方案中的关键洞见。
比起“这道题被做出来了”本身，数学界更看重的是这次AI似乎打开了一条新的思考通道。 陶哲轩表示，这项工作可能意味着研究者发现了一种理解“大数及其内部结构”的新方式，而这种连接未来或许能迁移到更广泛的问题中；不过，这一突破的长期意义究竟有多大，目前仍需时间检验。 利希特曼则认为，这一结果印证了他自研究生时期以来的直觉——不少相关问题之间也许本就存在某种共同结构，而ChatGPT此次提出的新方法，恰恰为这种统一性提供了新的证据。