清华 AIR 团队投稿 量子位 | 公众号 QbitAI 当 AI 不再只是解题机器，而能与人类并肩完成严谨的科研证明，这意味着什么？ 清华大学科研团队以自主研发的 AI 数学家系统（AIM）为协作伙伴，通过人机交互的模式成功解决了一项均匀化理论研究问题，形成约 17 页数学证明。 该成果系统性验证 ...

文 | 道总有理 10 月份，各大中端机品牌接连发售新机：iQOO 15、红米 K90、一加 15……一周之内出了三款。 这两年，全球智能手机市场开始反弹增长，根据 Canalys 和 Counterpoint 数据，销量同比增长约4% 至7%，但增长主要集中在高端和低端两个极端，撑起整个手机市场半 ...

文 | 陆玖商业评论 IPO 前的舆论战或许能短期吸引资本某种关注，但最终决定其市场地位的，仍是产品落地能力与服务用户的水平。 商场如战场，智驾 IPO 前夜的资本赛道近来不太平静。 10 月 30 日晚，文远知行 CFO 李璇一纸公开声明，直指小马智行路演材料“数据造假、刻意贬低对手”。由于舆论的 ...

文 | 光子星球 2019 年，谷歌高调推出云游戏平台 Stadia，试图通过新兴 5G 网络串流 3A 游戏“彻底改变游戏行业”。在用户增长远低于预期的情况下仍保持投入，直到 2023 年惨淡关闭。 媒介的演进加剧了内容的投入，越来越重的游戏开始变得和许多互联网新业务一般越来越重，沉没成本或多或少 ...

文｜恒钛度 辰风 编辑｜高恒 她坐在会议室的最里侧，窗帘拉得半暗，手里捏着打印好的离职信。对面的 HR 笑着问她：“怎么突然想走了？” 她没说话，只是轻轻点了下头。邮件早在三天前就发出去了，公司此时才“想起来”约谈她。 那不是挽留。她知道。 在这个信息流动得太快的职场里，离职早已不是秘密的决定。你一 ...

近日，字节跳动旗下火山引擎团队启动了一项高规格招聘，寻求“操作算法资深专家(具身智能)”。 界面新闻查阅字节跳动官方招聘网站获悉，按照职位描述，该岗位需要主导研发“人形具身机器人”的操作算法，包括但不限于算法架构设计，抓取算法，VLA 模型研发，灵巧手等方向的工作。据新浪科技，该岗位月薪待遇高达 9 ...

天眼查法律诉讼信息显示，11 月 4 日，哪吒汽车关联公司合众新能源汽车股份有限公司新增一则被执行人信息，执行标的 2526 万余元，执行法院为北海海事法院。 合众新能源汽车股份有限公司成立于 2014 年 10 月，法定代表人为方运舟，注册资本约 28.37 亿人民币，经营范围包括新能源汽车整车及 ...

11 月 5 日，赛力斯集团（股票代码：9927.HK）在香港联合交易所主板正式挂牌上市，成为国内首家“A+H”两地上市的豪华新能源车企。 此次募资净额约 140.16 亿港元，是迄今为止规模最大的中国车企 IPO，也是 2025 年以来全球规模最大的整车企业 IPO。 自 10 月 27 日启动港 ...

11 月 5 日消息，外媒昨日发布博文，报道称 IBM 将在 2025 年第 4 季度进行新一轮裁员，预计波及员工数量，在全球员工总数的占比为“较低的个位数”（low single-digit percentage）。据博文介绍，根据 IBM 发布的最新年报，截至 2024 年底，公司在全球共拥有约 ...

最近的夜间构建版 Swift SDK for Android 发布，旨在帮助开发者将 Swift 包迁移到 Android 平台，可以更轻松地在不同平台之间共享代码。尽管该 SDK 仍处于预览阶段，但已有超过 25% 的 Swift 包索引中的包能够成功编译为 Android 版本。 Swift S ...

苹果公司确认，谷歌旗下名为 Big Sleep 的人工智能（AI）网络安全 Agent 在其 Safari 浏览器使用的 WebKit 组件中发现了五个不同的安全漏洞。若被成功利用，这些漏洞可能导致浏览器崩溃或内存损坏。 漏洞详情 （CVE-2025-43429）- 缓冲区溢出漏洞，处理恶意构造的网 ...

文｜餐观局 1 星巴克终于学会在中国“放手”了。 11 月初，星巴克宣布与博裕资本成立合资公司，运营中国区零售业务。 博裕最多持有 60% 股份，星巴克至少保留 40% 股份，继续负责品牌、知识产权和上游体系。 简单说，未来在中国，博裕负责运营和开店，星巴克负责挂招牌。 这笔交易的估值大约在 40 ...

上海市金山区人民法院宣布了一起备受瞩目的案件：这起案件被称为上海首例人工智能大模型著作权侵权案。法院判决被告必须停止侵犯原告公司在《斗破苍穹》系列动漫中美杜莎角色的相关权利。 案件的起因是被告李某利用某个平台，截取了《斗破苍穹》中美杜莎角色的多张图片，并将其制作成图包。随后，他使用平台提供的 “训练 ...

近日，网易云音乐正式推出大模型音效“AI 调音大师”，音效听感全面升级。该功能支持 AI 动态解析歌曲特征，实现音效的智能适配、调节效果可视化、个性化定制和实时效果试听。用户可在网易云音乐搜索“调音大师”，让调音大师为每一首喜爱的歌曲定制专属音效。网易云音乐近期将不断上线更多用户关切的音质音效功能， ...

Rust 基金会近日宣布了 “Maintainers Fund”（维护者基金）项目，旨在为负责 Rust 语言核心开发与维护的工程师提供持续、透明、长期的资金支持。这项计划将聚焦于真正维护 Rust 语言本身的贡献者，而非下游依赖 Rust 的众多项目。 基金会表示，Rust 生态的长期健康依赖于这 ...

昨天，可口可乐再次推出由 AI 制作的年度圣诞广告，这已是该公司连续第二年采用生成式 AI 技术进行节日营销。 去年 11 月，可口可乐首次尝试以 AI 创作圣诞广告，但因画面「过于光滑、诡异」而遭到批评，被指缺乏人情味并取代了艺术家的创作。 今年广告依旧由制作方 Secret Level 完成，延 ...

昨天，星巴克在中国市场推出无糖及甜度可选的「太妃榛果拿铁」，这是该饮品自 2000 年问世以来的首次「真味无糖」改造，也是该创新体系在全球范围内的首秀。 今年 4 月，星巴克中国推出「真味无糖」体系，将原有风味糖浆拆分为风味饮料浓浆与糖浆，使风味与糖分完全分离。 此次应用于节日限定的太妃榛果拿铁，研 ...

据 XR Vision 日前透露，Meta 已开始着手第二代 Meta Rayban Display 的研发，目前已经在预定上下游产业链产能，计划于 2027 年上市销售。 报道称，Meta Rayban Display 第二代将支持双目全彩显示，并将会使用 MicroLED 光引擎，而不是第一代使 ...

微软在近日发布的 Microsoft Edge v142.0 版本中正式上线跨平台通行密钥同步功能。该功能允许用户在不同设备和平台间复用通行密钥，无需为每台设备单独绑定，从而显著提升使用便捷性。 通行密钥（Passkey）被视为替代传统密码的安全方案。此前用户需为每个设备单独生成通行密钥，而此次更新 ...

支付宝「看一下支付」功能近日完成重要升级，正式成为 Rokid 乐奇智能眼镜标配支付方式。此次升级覆盖安卓与 iOS 全系机型，用户在嘈杂环境下也可通过语音快速唤醒支付，并直接于眼镜屏上查看付款信息。 全面兼容多手机平台； 支持扫码与「支付宝碰一下」双支付方式； 提升语音识别精准度与界面响应速度； ...

日前，YouTube 宣布将利用人工智能技术对平台上大量低分辨率视频进行画质增强，以提升在电视、网页及移动端的观看体验。 该功能已正式启用，率先应用于分辨率低于 1080p 的视频，并计划在未来支持最高至 4K 的超分辨率处理。YouTube 高级产品总监 Kurt Wilms 表示，平台将保留视频 ...

据界面新闻报道，昨日有大量网友反映，OPPO 渠道服多款网易游戏停运，部分长期在该渠道游玩的用户受到影响。 OPPO 客服回应称：「确实有部分游戏停服了，因为与网易停止合作，每款游戏的停服时间不同，目前暂无恢复消息。」 报道称，网易与 OPPO 的合作调整已持续一年多。 去年 11 月，《阴阳师：妖 ...

据路透社报道，当地时间周一，科技授权公司 Adeia 在美国得克萨斯州联邦法院对超威半导体公司（AMD）提起两起诉讼，指控其侵犯了 10 项与半导体制造相关的专利。 Adeia 诉称，AMD 多款用于桌面电脑、笔记本电脑和服务器的处理器涉嫌使用了 Adeia 的专利技术，包括与「3D V-Cache ...

昨天，Anthropic 宣布与冰岛教育与儿童部宣布达成合作，将在全国范围内为教师提供 Claude 人工智能工具，启动全球首批国家级 AI 教育试点之一。 该项目覆盖冰岛所有地区，将为数百名教师提供 Claude 的使用权限，并配套教育资源、培训材料和支持网络。 教师可利用 AI 制定个性化课程计 ...

昨天，产业调研机构洛图科技发布智能穿戴供应链季报。数据显示，当季智能手环线上销量为 296.9 万台，同比增长 13.5%；销售额达 9.4 亿元，同比增长 33.5%。 **小米以 64.4% 的销量份额稳居第一，华为则以 28.0% 位居第二，两者合计份额高达 92.4%**，较去年同期提升 4 ...

据蓝鲸新闻报道，昨日，有苹果线下经销商透露，苹果中国区近日再次向所有授权经销商发布通知，重申其严格的销售渠道规定。 该规定明确要求，所有线下授权经销商禁止与任何电商平台进行合作，同时严禁在电商、社交、直播等线上平台进行产品的展示、推广或销售。 此项禁令同样涵盖了当前流行的「一件达」、「小时达」等即时 ...

前段时间，有媒体爆料说 OpenAI 打算推出一个 AI 抖音，没想到隔天，这个「AI 抖音」Sora 就上线了。 和抖音一样的竖屏滚动、关注与推荐切换，几乎就是一个抖音复刻。唯一不同的是，Sora 里的每个视频，都是 AI 生成的。 当我们默认就把 Sora 叫做 AI 抖音时，有读者在我们的留言 ...

广汽埃安在昨晚开启了新车 i60 的预售。 新车提供纯电与增程两种动力版本，增程版预售 12.68 万元，纯电版预售 11.98 万元，是为数不多的增程比纯电贵的车型。 同时，埃安 i60 也是埃安品牌首款正式发售的增程车型，此前埃安 V 虽然也有增程版发布，但是直到目前并未上市。 不过，由于埃安 ...

1808 年，歌德创作出了经典诗剧《浮士德》，主角浮士德博士掌握了哲学、神学、法学和医学，懂得世上所有的知识，却还是无法理解生命本身，从而陷入绝望。 这时，魔鬼梅菲斯特来到他身边，表示愿意提供最为极致的体验。浮士德答应了，又没完全答应，而是向魔鬼提出了一个赌约：一旦，他在魔鬼提供的体验中感受到幸福， ...

AMD 公布了该公司的 2025 财年第三季度财报。报告显示，AMD 第三季度营收为 92.46 亿美元，与上年同期的 68.19 亿美元相比增长 36%，与上一季度的 76.85 亿美元相比增长 20%；净利润为 12.43 亿美元，与上年同期的 7.71 亿美元相比增长 61%，与上一季度的 8 ...