作为科学智能领域的旗舰赛事，由上智院与复旦大学联合主办的世界科学智能大赛自2023年创办以来已累计吸引全球近6万名参赛者。

1、人人体育 没有它，一个跑一整晚的Loop，很可能就是一台睡着了还在批量提交垃圾代码的机器，而且提得理直气壮。

为了查清账目，先把预算这个变量调低，看看用量究竟往哪儿跑，这在工程上完全说得通。人人体育几乎同时，另一组截图也开始传：Codex客户端里用户实际能用的上下文，从约372k退回了272k。

2、卡尔顿·科尔：没有人提到科比·梅努，我不理解；葡萄牙0-0哥伦比亚：B费踢满全场，达洛特迎来首秀

LegionSpace: 本体工程与大语言模型的深度融合新智元报道 8万块积木，15个小时！ 一座长3.5米、宽1.5米、最高点1.1米的长城模型，要在15个小时内，从第一块积木开始垒起。

3、五十载匠心登峰，新质力共启征程！波司登链动全球领先供应链新未来

编程场景具备秒级反馈、即时证伪的迭代特性，任务对错可快速判定； 而基础科研试错成本高、验证周期可达数月，失败类数据公开度低、有效反馈样本稀缺。

4、穆里尼奥太明智！皇马躲过葡萄牙大坑，庆幸没买这位世界杯水货

ATM Token管控系统，则直击企业痛点，填补了国内Token FinOps的空白。

5、洋基红袜要抢同一个人！31轰全明星捕手引爆交易竞价战

就在大会现场，我们与超维动力联合创始人兼CEO喻杰博士进行了一场深度对话。

狂欢过后，业界陷入了尴尬的「三重失控」：用量失控、成本失控、价值失控。

真正的门槛就在这儿。

6、苏超论见｜看常泰之战，实质是看“功夫足球”

有人用Wolfram Alpha快速核验，发现结果完全正确。

但光是「能跑」还不够。

7、2027年灰烬杯赛程官宣：南安普顿首次承办，老特拉福德与Headingley落选

随着我们日益逼近AGI，必须采取紧急行动，应对可能随之而来的风险。

上午9点，该团队照常开工。

8、今夏第1签！安德烈·桑托斯加盟曼联&公布球衣号码

但是由于人类具备空间常识和安全意识，即便出现地图偏差和定位漂移，也不影响正常使用，而机器人如果进入开放环境遇到这种问题，将对安全性造成巨大风险。

这些高附加值应用场景，为小象电动提供了丰厚的利润支撑，是原始积累的第一步。

在印地语和阿拉伯语里，Claude会用礼貌措辞、开玩笑、肯定你的想法和你的作品；在英语和俄语里，Claude会挑战你的假设、纠正你的细节、要你拿证据。

9、WBC主席提议：安排富里挑战冠军卡巴耶尔，英伦德比恐添变数

特纳甚至提出，愿意自费从旧金山飞到伦敦，当面向他们解答方案中的任何疑问。

不得不说，AI会做题，和AI能救场，中间隔着一整个真实项目。

10、美参院小组批准中资持股限制法案 奔驰或拿到2030年缓冲期

上下文抽象层：给机器人装上60秒的记忆 传统模型「走一步忘一步」的短时窘境，正是长程作业的头号杀手。

过去一年里，从o3到各家旗舰，一茬又一茬的模型冲上来，全卡在130的门口，谁也没能真正踏进「天才区间」。

1、左手曼城，右手巴萨：美的为何要在欧洲足坛打造“双核”？

实验覆盖固定目标位置的标准设置，以及抓取过程中随机扰动目标的动态设置。

2、突发！飞镖名将赛场突发晕厥倒地，紧急送医后退赛

为此，他们找了整整一年这样的工具。

3、父子接力献热血 言传身教传大爱——记岳阳一对普通父子的“特殊接力日”

最近，Anthropic首次公开了CC大规模代码迁移「全流程」，六步框架让全网震撼。大连球迷都快遗忘的王牌！如今再次被李国旭激活，足协杯表现不俗正因为有了 S0，我们才能看到 Demo 里，上层任务指令不断切换，下层的全身运控，依旧能保持全程平衡、稳定、精准地执行全身动作。

4、4年1.85亿，被逼掏空钱包的湖人，后面该如何逆风翻盘

「冻结」一个模型 Frozen这个名字，就是字面意思：把模型「冻」进硅片。

5、VR导览扫码识途、地铁5号线直达北门，南京五台山体育场本周六再迎苏超

他说这是一个很漂亮的证明，然后给了三个形容词： 短。

6、跻身第一档！国足亚运会上上签分组：泰国+菲律宾+科威特，冲八强

参考资料： https://x.com/elonmusk/status/2076739687658496209%20*%20 https://x.com/SpaceXAI/status/2076692402442846289%20*%20 https://x.com/milichab/status/2076693464016994685 编辑：所罗门新智元报道 【新智元导读】最近，这个AI穿越Vlog刷爆全网！第一视角空降古罗马、泰坦尼克号，逼真到窒息。

既然三个不同的点指向了同一个结果，它自然不可能有逆函数。

GPT-5.6 Sol Ultra于7月9日全量放开，7月10日，OpenAI宣布GPT-5.6 Sol Ultra产出了Cycle Double Cover猜想的完整证明。

7、君山夏日精品旅游线路发布！荷花香、葡萄甜、水上乐园......等你来

那「回忆」本身呢？海马里的CA3区域是一张高度互联的回路，行为很像物理学家霍普菲尔德在1982年提出的联想记忆网络。

S0 是整个人形大脑系统立足其上的地基——用张巍的话说，「没有小脑，是长不出大脑的」。

8、瑞典大满贯林诗栋蒯曼身兼三项，王楚钦连续两站轮休。

下面这款「割绳子」经典游戏，也由V4一次跑出来的。

拿到一个看不懂的复杂回答，他让模型解释给10岁的孩子听；如果还是绕，就让它解释给5岁的听；再不行，解释给2岁的听。

这不是游戏，也不是影视——这是一种全新的东西 在理解Chloe的视频之前，你需要先理解它到底是什么。

生成智能构建物理世界的内在表征，物理智能掌握物理因果、推演平行世界，认知智能负责复杂逻辑推理与长程任务分解。