突发，Astra联手Opus破解化学半世纪猜想，50年圣杯被攻克
数学之后，AI攻进自然科学了！ BitMiracle AI Lab的科研智能体ClawsGO Science让1个Claude Opus 5.5指挥136个GPT 6 Astra，用11天破解了一道1974年提出的化学猜想。 ClawsGO Science在云端工作站上给出的这道证明，已写成83个Lean文件公开。 这一年，AI最先在数学上撕开了口子。 几百篇数学手稿一次放出，悬了几十年的难题接连被推进。 一个月前，新智元写下过这样一句话： 物理、化学、生物迟早也会走到这一步，每一门学科都会有这么一天。数学，只是先到了而已。 数学之后，是自然科学 就在刚
上海：推进工业5G/EUHT独立专网试点，支持部署5G-A、万兆光网等高质量网络
36氪获悉，上海市经济信息化委印发《上海市加快发展新一代智能制造行动方案》，其中提出，夯实工业网络和算力基础设施。支持制造企业开展新型工业网络改造，推动控制系统、工业网络、算力设施一体演进。推进工业5G/EUHT独立专网试点，支持部署5G-A、万兆光网等高质量网络。加快突破AI高性能芯片。加快构建“枢纽—区域—边缘”算力设施体系。强化智算资源统筹调度，加快国家算力互联互通节点建设，推动算力资源标准化接入和按需调用。推进算力服务普惠供给行动，推动工业智算云平台提级增效。
The WNBA finals are a basketball wonderland – unless you’re part of the Maga machine
The Dream and Valkyries are tied at 2-2 after four absorbing games. Many in America would rather we revisited the national anthem debate When Tyler Perry leading lady Crystal Renee took center stage at State Farm Arena to sing the national anthem before the Atlanta Dream’s WNBA f
双11购物车里的AI暗战
今年双11，购物车里多了一位特殊的参与者。 它可以替消费者筛选商品、比价、叠加优惠券，甚至主动申请价保退款；也能替商家盯库存、分析投放效果、批量生成营销素材。过去需要买卖双方反复操作的复杂繁琐流程，如今正交由 AI 接管。 10月13日，阿里推出个人智能助理“千问Go！”，将购物保价、比价和生活事务办理纳入AI能力圈。次日，千问办公电商版发布，试图用一个AI工作台统一管理商家跨平台的生意。 几乎同一时间，豆包手机助手却遭遇到一场集体抵制。 10月14日，豆包手机助手公布《屏幕自动化操作声明协议》（SAEP）最新进展，超过150款应用明确拒绝被 AI 自动
中国人不开的全地形车，卖到美国有多挣钱？
在汽车市场全球内卷、摩托车市场静待反转、两轮电动车转入存量阶段的万马齐喑时刻， 全地形车这个看起来颇为边缘的市场，正在爆发一轮以中国品牌为主角的增长奇迹。 绝大部分中国人没听过也没开过全地形车。这是四轮摩托车的变种，最适合地广人稀、交通环境复杂的北美和欧洲等部分地区。 当中国市场禁摩打断了摩托车行业的黄金时代，以春风动力、涛涛车业为首的厂商们，顺势投身到全地形车市场，经过20年打磨， 终于等到了决胜时期。 全地形车，意外起步 1967年，本田美国公司向日本研发总部提出了一个需求： 能不能开发一台冬天也能卖，能在雪地、泥地、沙地行驶，不需要驾驶技巧的摩托车
“绿泡泡”VS“红果果”：收入激励达100%，腾讯的短剧反攻开始了
互联网平台对用户注意力的争夺出现了新的走向。 野村证券数据显示，2026年8月，在中国月度使用时长排名前50的应用中，字节系产品的使用总时长份额达到41.8%，环比增长0.9%。同期，腾讯系产品的总时长份额为28.6%，环比下降0.5%。 在扩大的差额中，短剧成为字节系增长的关键变量。QuestMobile数据显示，2026年第三季度，红果短剧的月人均单日使用时长约151分钟，在微信、抖音、快手、小红书等一众月活过亿的国民级应用中位列首位。 在这一发展趋势下，腾讯系终于在近日推出了对标红果的产品“绿泡泡”。不过，这并不是一个独立的短剧APP，而是一个嵌入