新智元报道 刚刚，北京大学 AI for Math 团队宣布：他们独立完成了千禧年大奖难题之一——庞加莱猜想在 Lean 4 中的完整形式化！ 1904 年，庞加莱提出猜想；2002 年，俄罗斯数学天才佩雷尔曼给出不到 70 页的精简证明预印本；随后，数学界顶尖大脑耗费数年，写出 500 多页的专著
GameLook 报道/在很长一段时间里，“中年人能不能做游戏”在各大开发者社区里都是一个足以引发争论的沉重话题。以往提起“大龄转行游戏”，社区里的主流声音往往伴随着劝退与悲观。 不少从业者会切身告诫提问者：如今游戏行业正经历严重的裁员潮与下行压力，市场上充斥着大量拥有十几年经验的资深从业者，而初级
新智元报道 就在刚刚，数学圈又有惊人消息。 清华姚班大神带队，用 Claude 彻底攻克了费马大定理。 至此，AI 完成了数学史上最大证明。 曾经，费马大定理折磨了人类 350 多年，需要数学家耗费数年心血，写下 129 页天书才能证明。 今天，Anthropic 却宣布，Claude 仅用 11
2026 世界机器人大会的展馆里，来自不同国家和地区的海外观众和客商活跃起来。在机器人企业展台前，有海外人士拿着产品资料与工作人员交流，也有人直接询问机器人能够进入哪些场景。 今年，关于机器人如何真正进入海外市场的讨论也变得更加具体。 “不要急着让欧洲企业直接买机器人，可以先让他们用一两个月。”英国
8 月 18 日，网易传媒首次系统介绍了其面向人工智能时代打造的统一 AI 能力底座“蜜蜂 AI”，并以年轻化内容社区“网易小蜜蜂”为首要落地平台。这既可以视作一款原生 AI 产品发布，也提供了一个 AI 进入普通用户生活的样本。 网易传媒副总裁李淼反复强调，网易做 AI 的思路不在于抢跑，而是顺势
星巴克中国宣布升级星享俱乐部权益。8 月 1 日起，共享充电宝陆续进入 6000 家门店，覆盖全国门店的七成以上；星巴克称，约十分之一的到店顾客有租借充电宝的需求。 金星、钻星会员每月可免费使用店内充电宝一定时长，所有会员均可用 1 颗好礼星星兑换充电宝使用权益。8 月 11 日至 19 日会员权益
特斯拉持续推进规模化扩张，资本支出显著增长，该趋势受到投资者广泛关注。 北京时间 7 月 23 日，特斯拉公布的 2026 年第二季度财报显示，公司第二季度实现营收 282.36 亿美元，同比增长 26%；归属于普通股股东的净利润 11.14 亿美元，同比下降5%。 特斯拉方面表示，2026 年下半
7 月 22 日消息，彭博社马克 · 古尔曼昨日报道称，苹果公司预计于 2026 年 7 月 28 日（下周二）在美国市场推出名为「Apple Upgrade」的全新设备租赁计划。 这项服务将覆盖 iPhone、Mac、iPad 及 Apple Watch 的大部分机型，是苹果在硬件销售模式上的一次
新智元报道 VLA 模型已经会做任务，但真实机器人还是慢！PolicyTrim 是一种优化 VLA 机器人执行效率的方法，无需重新训练。它通过扩展可靠动作序列并减少冗余步骤，帮助机器人更直接完成任务，提升整体速度。 Vision-Language-Action（VLA）模型把视觉观测、语言指令和机器
IT 之家 7 月 4 日消息，科技媒体 piunikaweb 昨日（7 月 3 日）发布博文，报道称谷歌收紧 Chrome 浏览器扩展程序，限期 1 个月整改隐私安全防护，对于不合规扩展程序，谷歌将于 8 月 1 日执行下架处置。 数据收集方面，根据官方公示细节，谷歌收紧扩展程序的数据收集范围，明