新智元报道 过去的大模型优化基准，更多是在考「会不会建模、会不会调求解器」；FrontierOR 直接把模型推向真实 OR 论文里的工业级问题，考的是它能不能像算法工程师一样发现结构、设计算法，并在大实例上与 Gurobi baseline 进行比较。 过去两年，LLM 在「自然语言到数学模型」「自
财闻海外资讯消息，在一档最新节目中，马斯克表示，他希望在未来十年内将数万人送往月球基地，今年年底目标将第一批物资送往月球和火星，以开始建立殖民地。 马斯克预计，未来两到三年，SpaceX 将先送宇航员上月球，然后以此为基础迅速扩张，在未来五年内将人类送到月球和火星，并在十年内在月球表面建立永久性城市
新智元报道 蚂蚁灵波刚刚甩出全球首个「具身原生」大模型 LingBot-VA 2.0，要给机器人换上一颗真正懂物理的大脑。 50 分 26 秒。 今年，北京亦庄的半马赛道上，一台人形机器人冲线夺冠——比人类世界纪录，还快了近 7 分钟。 机器人的「身体」，第一次跑赢了全人类。 但画风，说变就变。 成
7 月 10 日消息，近日，比亚迪腾势Z于英国古德伍德速度节完成全球首发，新车推出三款车型，Coupe 硬顶版售价 142,900 英镑（现汇率约合 130.1 万元人民币），Spider 敞篷版售价 159,900 英镑（现汇率约合 145.6 万元人民币），Racing 赛道版售价 172,90
2026 年 7 月 10 日 12 时 15 分，长征十号乙运载火箭在海南商业航天发射场点火升空。约 6 分钟后，火箭一二级分离，一子级在栅格舵和发动机反推的引导下垂直返回，被南海预定海域的“领航者”号回收平台稳稳接住。 这是中国首次成功实施运载火箭一子级可控回收，也是全球首次运载火箭网系回收。中
前两天差评君在网上冲浪的时候，看到了一条堪比当年克隆羊多莉的大新闻。 明尼苏达大学的 Kate Adamala 团队宣布，他们成功构建了全球首个能完成“完整生命周期”的合成细胞。 这个被称为“SpudCell（土豆细胞）”的玩意儿，居然能在培养皿里自己吃饭、长大、复制基因，还能分裂生娃，甚至还会跟同
本文字数：1015｜预计 2 分钟读完 公开失言，改革未竟。 撰文丨雷子桐 编辑丨陈晓平 曾高喊“用科技颠覆职业教育”的张小龙，以近乎狼狈的姿态退场了。 7 月 8 日，职业教育头部公司粉笔公告称，创始人张小龙因“需处理其他个人事务”，辞任执行董事、CEO、董事会主席，不再担任任何职务。 张的“裸辞
智能体时代的 ChatGPT，想成为你电脑里常驻的那一层。 作者｜张勇毅 北京时间 7 月 10 日凌晨，GPT-5.6 面向公众全面开放。这件事本身没什么悬念。毕竟跑分 6 月底就公开了，价格早就挂了出来，所有人等的只是一个「开闸」日期。 同样值得关注的，是同一晚被模型光环盖住的另外两条公告：一个
出品 | 网易智能 作者 | 小小 编辑 | 王凤枝 就在 OpenAI、Anthropic 等公司持续争夺模型能力上限时，马斯克却选择了另一条路线：用更低的价格，把接近前沿水平的智能交付给用户。 北京时间 7 月 9 日凌晨，马斯克旗下 SpaceXAI 与 Cursor 联合发布新模型 Grok
本文来自微信公众号： 时间线 Timelines ，编辑：周易，作者：于悦，原文标题：《深度 | 对不起，AI 也救不了智能手机》 身为世界级供应链大师的 Tim Cook，在要走下苹果 CEO 位置的最后一个夏天，留给市场和消费者一句毫无掩饰的关于供应链涨价的预警： 「涨价是不可避免的。」 6 月