我们是否应该陷入「AI 取代数学家」的陈旧恐慌？大可不必。

1、人人体育 具身智能天然依赖视觉、语言等多模态信息的融合，而这面壁有浓厚的多模态技术积累。

前代广受好评的前端美学能力能完整延续到这一版，正好印证了这套机制：新本事大幅扩容，旧本事一分没掉。人人体育它还可与政府携手，培育一个第三方审计机构的生态，协助开展评估，并参与打造新的基准与测评。

2、领先换下王钰栋，阿洛伊西兄弟一个套路，浙江还能忍，李镇全与米特里策和解

Anthropic根本没打算让Opus 5去跟自家旗舰硬碰硬，它要解决的，是一个更扎心的现实—— Fable 5，普通人已经快用不起了。

3、拳击传奇仅用6个月放弃推广人身份：我不想跟那帮人斗

比如，先盖住不同颜色方块后 ，让机械臂以红绿蓝顺序揭开。

4、1998年三菱Eclipse GSX现身：仅行驶4.4万英里

表面更是暗藏玄机。

5、正戏开启！世界杯32强对阵出炉，淘汰赛无缝衔接明晨3:00打响

地面的Token工厂解决「怎么生产得更便宜」，未来的星地一体算力网解决「怎么把Token送到更远的地方」。

他们学的技能，可能一出校门就被AI接管；他们没练的判断力，可能一辈子都难补回来。

图左：Claude Science；图右：GPT-5.5 换一道更贴近临床的硬题，磐石的表现同样能打。

6、保时捷911SC原厂Fuchs轮毂无底价拍卖，搭配米其林轮胎

肩、肘、腕、腰、腿五个维度协同发力，几乎就是真实对抗的全身运动。

彼时，整个赛道深陷VLA与世界模型的路线之争。

7、贝林厄姆：对换人不意外！图赫尔：输了就会被诟病，但我没做错！英足总霸气力挺

但真实的材料计算研究，并非简单的选择题作答。

智能大于形态 机器人不会只有一种身体 全行业都在问：具身智能的终极形态是什么？很多人回答「人形机器人」。

8、传奇解说员离职：开拓者合同“次级贷”，老板发家于此

计算机的体系结构是一面镜子。

在这一双向融合中，「AI友好的本体框架」成为一个关键的工程命题。

怎么把Token送到科室、送到一线，成了新命题。

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

而且它不是单枪匹马上分，SOL、TERRA一整个家族集体飙到136，连视觉版都没掉队。

以ICLR 2023数据为例，在最难取舍的5–6分临界区间，LLM校准筛选出的论文，其平均引用量相比仅依据人工评分筛选提升了94%。

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

第一发点球，瞄准、蓄力至峰值，起脚射门；攻守互换后，看准反应槽指针，顺势滑屏，可惜手速慢了半拍，扑救失败。

该系统采用双层协作架构和三层韧性自动化体系，借助「苏格拉底循环」实现模型自主迭代。

1、邵阳市政府与湖南钢铁集团签订战略合作框架协议_网易订阅

曾经，循环双覆盖猜想由几位传奇数学家提出后，就像一座大山横亘在图论领域，让全球顶尖数学家望而却步。

2、随着亚洲杯赛程敲定，中国女篮12人名单浮出水面，复仇日本有戏

三名少年拿下42分满分。

3、中超第19轮明天7月17日赛程：西海岸PK蓉城，国安PK辽宁铁人

在被公认为「最难啃」的仓库级软件工程榜单SWE-Bench Pro上，它拿到65.2分，只落后于Opus 4.8（69.2 分），显著超越一系列国产模型。不容有失，尤文五月仅剩4场比赛，三大外租球星命运或各不相同围绕「跑得稳、用得起、可持续」三大命题，此芯科技确立了三大战略支柱。

4、太阳后卫赛后回应与克拉克冲突：绝不忍受不尊重，垃圾话不会改变我

目前，AI Ping保持着7×24小时不间断的监测，覆盖了行业内30多家服务商、600多个模型接口，实时监控它们的延迟、吞吐、缓存命中率和Token质量。

5、杨立瑜为何本轮足协杯比赛会错失空门！背后原因找到了，引发热议

这一类，后面单独说。

6、热ྂ热ྂ热ྂ！邵阳直冲37℃！

诚邀麻省理工学院、斯坦福大学、卡耐基梅隆大学、牛津大学、剑桥大学、帝国理工学院、新加坡国立大学、南洋理工大学、苏黎世联邦理工学院、洛桑联邦理工学院、慕尼黑工业大学、卡尔斯鲁厄理工学院、达姆施塔特工业大学、亚琛工业大学、香港大学、香港理工大学、香港科技大学、香港中文大学等顶尖高校与海外创业团队火速集结。

参考资料： https://arxiv.org/abs/2606.30755 编辑：LRST新智元报道 「你已达到使用上限，请等待额度重置。

如果没有那几个较真的开发者去拆解文件，或许这家假实验室已经顺利拿到某家风投几百万美元的天使轮融资了。

7、不是奥利塞！美加墨世界杯最强中场球员出炉 曼城恐成最大“输家”

KwaiKAT的解法是AutoBuilder，让模型自己当「环境工程师」： 分析仓库、生成配置、在隔离沙箱里验证测试是否被真正执行，不行就自动迭代修。

灵犀要做的，就是把这个「软件侧的记忆」做到极致。

8、法国世界杯头号卧底！无脑操作毁全队，姆巴佩史诗翻盘被他坑没

特纳在会场上拦住了Bengio，请求他发声支持Anthropic，结果Bengio的办公室随后冷冷回复：「我们决定不发表声明」，拒绝给出任何理由。

重复分片，逐字节比对。

而在于，机器人第一次在真实世界里，连续、自主、稳定地「把活干完」。

这听起来很灵活，但代价也很大：芯片在运行时必须做海量的实时决策，不停地搬运数据，反复查询该往哪走、该怎么算。