AI能当理论计算机科学家吗？姚期智和杨植麟共同署名的论文给出答案。如果把理论计算机科学比作数学界的“奥林匹克”，那它研究的不是怎么修电脑，而是计算本身的上限：哪些问题算得快，数学证明的极限在哪里。现在

2026年10月26日，Anthropic（Claude母公司）正式向SEC（美国证券交易委员会）递交S-1招股书，预计募资超千亿美元，估值2万亿美元。 如果按估值价格进行IPO，Anthropic会

LG('ad_468_2'); "AI摘要" 特斯拉财报电话会议中，马斯克强调FSD全自动驾驶系统是拉动市场需求的核心驱动力，市面上无其他在售车型可与之竞争。目前订单规模已明显超过产能，公

10月12日，第26届工博会的圆桌对谈上，Sharpa联合创始人向少卿把机器人学习所需的数据排了个顺序：人类操作数据、仿真数据、真机数据。他说这三者是层层递进的关系——人类数据是“种子”，仿真让机器人

10月12日，第26届工博会的圆桌对谈上，Sharpa联合创始人向少卿把机器人学习所需的数据排了个顺序：人类操作数据、仿真数据、真机数据。他说这三者是层层递进的关系——人类数据是“种子”，仿真让机器人

或许只是为了商业而上演的叙事罢了 图片来源?|?网络（如侵权请联系删除）部分AI生成 2026年最让人费解的科技跨界事件，正在持续发酵。 当所有人的目光都聚焦在AI大模型的参数迭代、算力竞赛、商业化落

提到007我们会想到什么？特工、美女、炫酷的装备、激烈的战斗、要摇匀不要搅匀的马提尼。我是007全系列的忠实观众，但确实看到的也大体就是这些。 直到最近玩了最新的007游戏《007：初露锋芒》。反派揭

提到007我们会想到什么？特工、美女、炫酷的装备、激烈的战斗、要摇匀不要搅匀的马提尼。我是007全系列的忠实观众，但确实看到的也大体就是这些。 直到最近玩了最新的007游戏《007：初露锋芒》。反派揭

文 | 刘俊 本文由网易新闻网易号和财经无忌联合出品。 预料之中，SpaceX（SPCX.US）上市首日大涨超19%，公司市值突破2万亿美元。马斯克也因其在SpaceX和特斯拉的合计持股而成为全球首位

这是思维AI社的第70篇原创 全文约1850字，阅读时长预计6分钟 今天，SpaceX将在纳斯达克挂牌交易，股票代码SPCX。这不是一次普通的IPO，而是一场足以改写资本市场历史的资本盛宴——750亿

在手机行业和具身智能行业，这都是头一次。 4月19日的北京亦庄赛道上，荣耀的一道红色“闪电”冲过半程马拉松终点线，最终成绩定格在50分26秒。甚至连《纽约时报》特约评论员都表示，这一成绩确实令人印象深

2026年4月19日，北京上演了一场特殊的马拉松。人形机器人半程马拉松开跑，超过一百支队伍同场竞技。北京荣耀的“闪电”机器人以48分19秒的成绩率先冲过终点。同一天，宇树科技发布消息，在排位赛中，宇树

喧嚣展会中的纯粹目光2026年的AWE（中国家电及消费电子博览会）现场，前沿科技的浪潮如约而至。但在熙熙攘攘的人海与琳琅满目的展品中，有一群特殊的探索者，成为了全场最耀眼的星光。他们是由俞浩慈善基金会发起的“100位小小科学家”公益研学团。...

（来源：泡泡网）

我刚入行做科技媒体那会儿，技术人员们接受采访，大多都对我们这群舞文弄墨的人格外体贴。谈及技术细节，会习惯性地补上一句“我简单点讲”。这种不假思索的降维解释，像一面镜子，照出了文科背景在科技领域的边缘位