曝马斯克放弃火星移民计划
据环球时报援引《纽约时报》刊文，美国硅谷投资人 Peter Thiel 透露，马斯克已经放弃了移民火星的政治愿景。 Peter Thiel 在接受采访时表示，马斯克已经不再认为火星移民是一个能帮助人类建立新社会的可行政治方案。报道称，作为马斯克朋友的 Thiel 在采访中称：「2024 年是马斯克不
北京中小学生将开启 AI 通识教育
据北京发布消息，《北京市中小学人工智能教育地方课程纲要（试行）（2025 年版）》近日公布： 从 2025 年秋季学期开始，全市中小学校开展人工智能通识教育，每学年不少于 8 课时，实现中小学生全面普及。 据纲要介绍，人工智能课程以全面提升学生人工智能素养为目标，面向全体学生提供人人必学、人人可学、
12306：高铁携带充电宝的无需 3C 标识检查
6 月 28 日起，民航局发布的「充电宝新规」正式生效：禁止旅客携带没有 3C 标识、3C 标识不清晰、被召回型号或批次的充电宝乘坐境内航班。 随着民航局新规实施，不少网友也提出了「乘坐高铁是否也采取同样的检查措施」这一问题。 6 月 30 日，界面新闻咨询铁路 12306 客服，该客服工作人员明确
上汽名爵一口气发了三辆车，其中一辆会让 OPPO 帮着卖
在比亚迪 2024 年登顶之前，上汽在自主品牌销冠的位置上坐了 18 年。 燃油车时代的老大自然不甘心在新能源的浪潮中默默掉队。2024 年 7 月，上汽集团原董事长陈虹到龄退休，由王晓秋接任董事长，贾建旭接任总裁，然后开启了上汽在新时代的大变革。 在 24 年 8 月的一次内部会议上，贾建旭讲的很
苹果眼镜路线图：AI拍照眼镜后年发布，价格亲民的「Vision Air」也要来了
毫无疑问，整个 2025 年最热闹的科技产品，就是智能眼镜了。 不仅 Rokid 和 Meta 这两家明星品牌发布了眼镜新品，期待已久的小米首款智能眼镜也终于正式面世；在 Google 的年度开发者大会上，我们也看到这家巨头，已经躬身入局「轻量眼镜」和「头显」两个市场。 而最新的一些消息显示，苹果也
Maxell 发布复古磁带机：能听磁带，支持蓝牙，还能当充电宝
2025 年了，怎么还有崭新的磁带机上市？ 其实和 CCD、胶片、撕拉片等一个意思，磁带机也属于这两年「复古回潮」的一个小众赛道。一些小的海外创业公司，以及中国本土的一些还在提供磁带机零部件产能的工厂，都在借着这股势头，建立品牌，推出产品。 现在，终于有（算是）巨头品牌入局了。 6 月 30 日，日
微软AI诊断准确率超人类医生4倍，以后看病前先问问它？
四倍，AI 医生的诊断准确率远超过人类医生。 这可能有点难以置信，但微软人工智能团队日前发布的一项 AI 诊断协调系统 MAI-DxO（MAI Diagnostic Orchestrator）真的做到了。 它在《新英格兰医学杂志》每周发布共计 304 个真实复杂病例上进行了基准测试。测试结果显示，准
雷军直播答网友问：等不及YU7可以选小鹏G7理想i8，小米汽车后年出海
上个月底发布的小米 YU7 创造了世界汽车史的新纪录——3 分钟大定 20 万台，开售 18 小时锁单突破 24 万台。 雷军之后发文称： 小米 YU7 发布以来，媒体和用户朋友们在试驾后给出了很多好评，锁单也远超预期，诚挚感谢朋友们的支持和厚爱。 同时，雷军也在 2 号晚上进行了一次返场直播，分享
美国现在最贵的，是中国AI人才：清北中科大学霸正在「统治」硅谷AI圈
过去两周，AI 行业最出圈的不是哪个产品，而是人。经常一觉醒来，社交媒体的时间线都在刷新换汤不换药的新闻：又双叒叕有哪位 AI 大牛被挖走了。 顶级 AI 人才，正成为 AI 赛道上最稀缺、也最具品牌效应的资产。 在这轮人才流动的风暴中心中，我们发现一个格外显眼的细节：这群主导过 ChatGPT、G
7.88 万元！比亚迪卖得最好的电车上新了
在 6 月的最后一天前，没人会怀疑海鸥在小型车市场的统治力。但悄然崛起的销量数据，尤其是来自吉利星愿的步步紧逼，显然让这位冠军感受到了一丝寒意。 作为比亚迪绝对的销量支柱，海鸥不容有失。于是，一场持续数月的反击开始了：从年初的降价促销，到年中将购入门槛打到令人咋舌的 5.58 万元，比亚迪的组合拳又
完美世界“刮骨疗毒”：新公告多位员工涉贪，“至暗时刻”已过？
GameLook 报道/《女神异闻录：夜幕魅影》国际服（下文简称为《P5X》）的炸裂开局，应该是完美世界近期最大的意外之喜。 6 月 26 日，由世嘉代理发行的《P5X》国际服正式上线，公测当天美、日、英、法等 12 个国家和地区的免费榜全线飘红；日服更是冲入了日本 iOS 畅销榜前3；PC 端成绩
小游戏买量有多疯？微信广告消耗增长20%，买量小游戏数量爆增165%
GameLook 报道/ 随着移动互联网的高速发展，小游戏作为轻量级、易传播的游戏形态，正在成为连接用户与内容的重要纽带。作为腾讯生态的重要组成部分，微信小游戏在过去几年里不断创新升级，助力开发者实现流量增长与商业变现。2025 年，面对 AI 技术爆发和用户需求多元化的双重机遇，微信小游戏广告体系
Visual Studio Code等IDE存在新漏洞，恶意扩展可绕过验证状态
漏洞概述 最新研究表明，Microsoft Visual Studio Code、Visual Studio、IntelliJ IDEA 和 Cursor 等集成开发环境（IDE）在扩展验证流程中存在缺陷，可能导致攻击者在开发者设备上执行恶意代码。OX Security 研究人员 Nir Zadok
.NET 10 Preview 5 发布：Blazor 可观测性升级，XAML 语法更简洁！
6 月初，微软宣布发布 .NET 10 Preview 5，为多个组件带来了更新，涵盖了 ASP.NET Core、.NET MAUI、Windows Presentation Foundation (WPF) 和 Entity Framework Core。据介绍，新版本通过一系列功能更新与改进，
微软开源 GitHub Copilot Chat 的 VS Code 扩展
微软在 5 月举办的开发者大会上宣布要将 VS Code 打造成开源 AI 编辑器，近日该计划达成了首个里程碑 ——GitHub Copilot Chat 的 VS Code 扩展采用 MIT 开源许可证正式开源。 开源地址：https://github.com/microsoft/vscode-c
微软被曝将 “AI 使用量” 纳入员工考核，直接挂钩绩效
根据《商业内幕》的报道，微软开发者工具部门总裁 Julia Liuson 最近发出内部邮件，要求各级主管在评估员工绩效时，将其使用 GitHub Copilot 等内部 AI 工具的情况纳入考量。 Liuson 表示，AI 已成为微软日常工作的核心，就像团队协作、数据导向思维和沟通能力一样，使用 A
服务器 GPU 配备太多的显存会导致 Linux 系统休眠出现问题
大模型时代，越来越多的数据中心安装了专用 GPU 加速器，而这些加速器配备了数百 GB 容量的显存（VRAM）。在特定的情况下，如果服务器系统内存容量太少，休眠功能可能会出现问题，从休眠中恢复可能需要多达 1 个小时。AMD 工程师 Samuel Zhang 递交了补丁修复了该问题。 他解释说，如果
Fedora 44 不会停止支持 32 位
预计明年上半年发布的 Fedora 44 不会停止支持 32 位软件包。停止支持 x86 32 软件包的提议在遭到社区的强烈反对后由作者宣布撤回。提议作者之一的 Fabio Valentini 是 Fedora Engineering and Steering Committee (FESCo)成员
苹果考虑用 Anthropic 或 OpenAI 的模型驱动新版本的 Siri
苹果考虑用 Anthropic 的 Claude 或 OpenAI 的 ChatGPT 驱动新版本的语音助手 Siri。这可能意味着它将放弃内部开发的模型 Apple Foundation Models，以扭转在 AI 领域的劣势。苹果正在与这两家公司协商，已要求两家公司训练能在苹果云基础设施上运行
Android 未来可能会警告用户手机连接了假基站
手机已经成为日常生活的一部分，它储存了用户大量的敏感私密信息，而针对手机的攻击也日益常见，其中一种攻击方法被称为 Stingrays，利用假基站引诱手机连接，从而泄漏用户私人通信信息。假基站还可以发动降级攻击，引诱手机使用低安全性的通信方式如 2G，攻击者能拦截通话和消息。 Google 已经在 A
Windows 11 25H2 与 24H2 区别不大
微软已经向 Windows Insiders 释出下一个大版本 Windows 11 25H2，但该版本与去年下半年释出的 v24H2 区别并不大，只是将原来没有默认启用的功能启用。 Windows Servicing and Delivery 的首席项目经理 Jason Leznek 说，Wind
Cloudflar 测试对 AI 机器人抓取内容收费
CDN 服务商 Cloudflar 正在试验新工具，允许内容创作者向抓取网站内容的 AI 爬虫收取费用。被称为 pay-per-craw 的功能目前在内测，一小部分出版商和内容创作者将参与实验，每个出版商可以自己设定 AI 爬虫在抓取内容前必须支付的费用。 Cloudflare CEO Matthe
美国卫生部称《自然》是垃圾科学，全面取消订阅《自然》期刊
美国联邦机构工作的科学家失去了对 Springer Nature 旗下知名期刊的访问权限。NASA、美国农业部、能源部以及国立卫生研究院 (NIH)等机构都终止了对 Springer Nature 旗下期刊的订阅合同。美国卫生与公众服务部 (HHS) 首席发言人 Andrew Nixon 称这些期刊
充电宝被召回，想寄却遭快递拒收！不敢用又退不了，咋办？
连日来，多家知名充电宝品牌因产品存在安全隐患宣布召回，持续引发社会关注。然而，这项旨在保障消费者安全的举措，在执行层面却难以闭环。日前，有消费者向央广网啄木鸟消费者投诉平台反映，其所购买的充电宝因企业要求指定快递寄回，但又遭快递拒收。消费者手握问题产品，陷入了既不敢用又退不了的窘境。 对此，有专家指
任期不足三月，充电宝品牌罗马仕法定代表人再变更
充电宝品牌罗马仕法定代表人发生变更。 7 月 2 日消息，国家企业信用信息公示系统显示，深圳罗马仕科技有限公司（简称：罗马仕）发生负责人变更及高级管理人员备案，雷社杏卸任法定代表人、董事、经理职务，由雷杏容接任。雷社杏在今年 4 月任罗马仕法定代表人、董事，距此次变更不足三个月。 罗马仕官网显示，深
Sakana AI提出新型推理时扩展算法，让模型间协作性能大幅提升
“三个臭皮匠，顶个诸葛亮”，这一谚语不仅适用于人类，也适用于大模型。7 月 1 日，由“Transformer 八子”之一利昂·琼斯（Llion Jones）联合创办的日本 Sakana AI 公司打造出一种名为自适应分支蒙特卡洛树搜索（AB-MCTS，Adaptive Branching Mont
周志华团队新作：LLM中存在奖励模型，首次理论证明RL对LLM有效性
机器之心报道 机器之心编辑部 将大语言模型（LLMs）与复杂的人类价值观对齐，仍然是 AI 面临的一个核心挑战。当前主要的方法是基于人类反馈的强化学习（RLHF）。该流程依赖于一个通过人类偏好训练的奖励模型来对模型输出进行评分，最终对齐后的 LLM 的质量在根本上取决于该奖励模型的质量。 因此，创建
策略改写「一战历史」！中科院开源全新博弈智能体框架DipLLM
新智元报道 编辑：LRST 中科院自动化所提出 DipLLM，这是首个在复杂策略游戏 Diplomacy 中基于大语言模型微调的智能体框架，仅用 Cicero 1.5% 的训练数据就实现超越，展现出卓越的策略能力和样本效率。该框架通过自回归分解将复杂决策任务转化为序列化子任务，结合理论支持的均衡策略
o3通关「俄罗斯方块」，碾压Gemini夺冠！UCSD新基准击碎宝可梦
新智元报道 编辑：定慧 UCSD 等推出 Lmgame Bench 标准框架，结合多款经典游戏，分模块测评模型的感知、记忆与推理表现。结果显示，不同模型在各游戏中表现迥异，凸显游戏作为 AI 评估工具的独特价值。 谁能想到，作为童年回忆的宝可梦，现在竟摇身一变，成了大模型的试金石！ 在无数人的童年记
Bengio亲手戳穿CoT神话！LLM推理是假象，25％顶会论文遭打脸
新智元报道 编辑：YHluck 桃子 原来，CoT 推理竟是假象！Bengio 带队最新论文戳穿了 CoT 神话——我们所看到的推理步骤，并非是真实的。不仅如此，LLM 在推理时会悄然纠正错误，却在 CoT 中只字未提。 图灵奖大牛 Bengio 新作上线了！ 这篇由牛津、谷歌 DeepMind、M
