「我上船的时候就知道，今晚这艘船会沉。

1、英亚电竞 怎么做到的？ 第一步，把国产卡的实际性能「榨」出来。

而佟博士的企业认知系统（NSEAP ECS）和认知主权观点，从一开始关注的就不仅是防止数据泄露，也不仅是部署一个企业内部模型。英亚电竞有的车刹车响应在500毫秒以内，算法跑起来很顺畅。

2、亨利点评梅西：他才是世界杯最可怕的球员，足球智慧无人能及

他曾用一年，写下了Bun这个比Node.js还快的JavaScript运行时。

3、宕昌“引育用留”全链条精准施策激发人才活力

深度vs简洁：把来龙去脉讲透，还是你问什么答什么。

4、噩耗！英格兰足坛传奇凯文·基冈因病去世，执教曼城期间签下孙继海

这也不是AI孤立的毛病。

5、阿卜杜瓦哈普：梦想没有熄灭，我还有动力往上蹦！

发布之后，她自己下场推PR、催增长，把它从一个内部原型推成了Anthropic最激进的那一步落子—— 把Claude从「聊天框」，推成「工作台」。

在另一个任务里，GPT-6发现别的系统有一些成功但未公开的答案，就动了心思—— 想从评测后台，把这些答案「捞」出来。

OpenAI研究员Noam Brown所感叹：「这与之前解决Erdős单位距离问题不同，这次创造奇迹的模型，是今天对所有人公开可用的！」 网友惊呼：证明令人叹为观止，AI改变数学！ 幽灵般盘旋了50年的数学魔咒 循环双覆盖猜想，是图论里的「皇冠级」难题之一，由Tutte、Itai与Rodeh、Szekeres、Seymour等多位数学家在上世纪各自独立提出。

6、龙虎斗！津门虎VS铜梁龙首发：吴兴涵、谢蒂内先发，向余望、李镇全中超首秀

想让它跑得住，还得给三条护栏： 1. 提前划好刹车线。

」在内部交流中，小象电动创始人刘霄一针见血地指出。

7、转子绝唱：4.7万英里2009款马自达RX-8 R3无底价拍卖

参考资料： https://x.com/thsottiaux/status/2077114635308986427?s=20 https://x.com/sama/status/2077036999303999910?s=20 编辑：摩西新智元报道 你半夜失眠问Claude该不该辞职，它体贴得像个认识了十年的老朋友。

实验结果显示，这种基于Residual的复核机制能够有效缩小缺乏评语支撑的评分偏差，在保留合理学术分歧的同时，减少由个人评分尺度差异带来的极端打分。

8、埃弗顿女足官宣：重伤中场霍尔姆高签下一年新合同

你说了别看，它说好的——然后连柜子带锁一起搬走了。

这背后，其实是整个AI产业的一次重心转移。

高德途途在现实世界中的端到端成功外化，正是最强有力的证明。

9、定了？齐达内预计下周二正式上任！

最上层是「具身大脑」，由通用具身大脑ER和机器人Agent操作系统AgentOS构成，负责环境感知、任务推理、高层决策调度与记忆沉淀。

导致科研工作仅有单次试错成本消耗，无长期迭代收益，即便 AI 通用能力持续升级，原创科学研究成果依旧进展缓慢。

10、特朗普世界杯颁奖仪式抢镜：颁完奖赖着不走，被因凡蒂诺笑着请走

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

点一下土星，右边滑出资料面板。

1、罗马诺：巴萨已开始讨论阿尔瓦雷斯替代方案，阿森纳仍在等待机会

真正决定一家企业能走多远的，是下半场的新法则。

2、噩耗！英格兰足坛传奇凯文·基冈因病去世，执教曼城期间签下孙继海

先别急着惊叹90分钟——你得知道，这道题在统计学里压了整整二十年。

3、绵阳多条公交线路、站点临时调整

英语的量大到别的语言够不着，而「把价值观训一致」这件事，在数据充裕的语言里更容易做到。阿根廷球迷请愿重赛世界杯决赛，超6.7万人签名，但规则明确：请愿无效产业界涌现出大量场景真题。

4、南京全力推进紫金山创新带建设，应天实验室揭牌

这里的「可盈利」不是财务游戏，商汤科技联合创始⼈、⼤装置事业群总裁杨帆给了一个非常明确的定义：收入覆盖折旧、摊销、机柜租赁、电费和人员服务费之后，利润率为正。

5、超越梅西！姆巴佩22球独享世界杯历史射手王：比起纪录更渴望进决赛

采用NEO-unify架构后，商汤在今年4月率先发布了SenseNova U1一个轻量级的开源模型，并且在5-7月升级多个基于U1的infographic-V1、V2和V3版本。

6、265磅对291磅，福里称重轻了近两英石

那一年，德国数学家Ott-Heinrich Keller提出了一个问题： 如果一个多项式映射的雅可比行列式是一个非零常数，那么这个映射是否一定存在多项式逆映射？ 实际上，这个问题背后的直觉很简单——在微积分中，反函数定理告诉我们，如果函数在某点的雅可比行列式不为零，那么在该点附近函数存在局部逆。

四条战线必须齐头并进，缺了任何一条，闭环就会瞬间断裂。

技术方智元机器人在湿滑表面弹夹的识别与柔性抓取能力方面突出，抓取精度±1mm，循环节拍≤120秒，在潮湿环境中稳定移动与避障，与清洗设备进行无缝对接。

7、中超垫底球队官宣与主教练及9名球员续约，稳定军心誓要保级_网易订阅

最终证明，这个方程组永远有解！ 当公式(8)和(9)划上句号，最后推导出等于0（在域中）时，证明结束了。

显然，这是一个即将颠覆AI格局的重磅产品。

8、4次扑救对1次 加夫兰连续两场零封助多伦多客场闷平

超长上下文：200万token。

这样的进化能力更类似于人类成长的节奏，在一个人中学阶段学习的是一元二次方程，大学阶段掌握的则是微积分。

账算得正是一回事，规模跑得起来才能证明这不是小打小闹。

真实场景 才是灵巧手产业化的检验 灵巧手产业化的评价标准，正在由「能否完成一次动作」转向「能否持续完成完整任务」。