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

1、米兰体育 顺带提一句，deepseek-chat和deepseek-reasoner两个老模型名，7月24日正式下线。

旁边展示直接挑战了机器视觉领域公认的「老大难」——透明物体识别。米兰体育如果要让模型记住历史画面，计算量会呈指数级爆炸。

2、绍兴网友：我家这情况有必要换车吗？手头40万存款，开着12年的二手车

这15万小时里，有5万小时的真机高精度操作数据（覆盖100多种原子动作）、10万小时第一视角场景视频（支持毫米级3D关键点标注），以及百万平方米级的场景重建数据—— 最后这一块，直接冲着「仿真里练得好、一到现实就掉链子」的Sim2Real老毛病去的。

3、350余名卡车司机共同打造，最亲民最实在的特别版卡车？曼恩TGX Truckers’ Edition了解一下

从π0一路到π0.7，PI要让一个模型看懂同一堆数据里的不同意图和质量。

4、夏天买的“这6类”衣服，换季一收拾全想扔了！明年打死也不买了

上手方式：通过StreamLake.com直接调API（模型ID：kat-coder-pro-v2.5）。

5、《古墓丽影RE》试玩来了！或亮相科隆展

我们已经见识了前沿模型给网络安全带来的挑战；而随着能力持续提升，包括核风险与生物风险在内的其他威胁可能很快显现。

开发者的切换成本低到近乎为零——换个工具，配置几分钟的事。

企业不是因为消耗了更多Token而变得更聪明。

6、林家栋：电影创作不能只靠阅片量 未来香港电影要从生活中找创作灵感

纳德拉的第二层判断 2026年7月12日，美国东部时间上午11:09，纳德拉又在 X 上发表了关于Reverse Information Paradox，反向信息悖论的论述。

实际上，模型公司的智能不等于企业的智能。

7、疯了！勇士5个首轮7换1墨菲？！轮也该轮到库里了！

小象电动，这家从哈工大深圳研究院走出来的科技企业，历经8年蛰伏，终于将曾经只存在于论文里的轴向磁通电机，变成了15万台产能的自动化流水线，变成了机器人跃动的关节。

没有任何声明，一切就像没发生过一样。

8、塞尔电台谈西班牙：边锋招的太多且有伤 习惯慢热是个大问题

其中行业首个集成三维力触与动捕信息的ACE Sense Glove采集手套是点睛之笔：0.01N的力触觉灵敏度、小于2°的关节角误差、20余种异构传感器同步误差严格控制在1毫秒内。

最终的决定权，始终在你手上。

这是一种研发顺序的变化：先验证需求，再扩大生产；先让创意接受市场检验，再决定重资产投入。

9、赵又廷谈接不到商业大片，称“没流量，没人找”

参考资料： https://x.com/thsottiaux/status/2076495156757577895 https://x.com/FixlationAI/status/2076469274441380349 https://www.reddit.com/r/codex/comments/1uuy5eq/nerfed_codex_sol_max/ 编辑：元宇新智元报道 【新智元导读】刚刚，AI编程圈干了一件狠事。

半导体光刻机、高端外骨骼动力裤、顶级人形机器人以及超级跑车（轮毂电机），共同构筑了小象电动的高维护城河。

10、凯尔特人128-96大胜76人！塔图姆创53年纪录，此战诞生4个事实

未来的世界，将布满海量的「边缘计算」终端。

解决一个50年历史的难题，原本可能需要一整天的时间，现在被压缩到了区区一个小时。

1、6G什么时候普及？张平院士：2030年迎大规模商用，开启万物智联新时代

西班牙创作者Daria Grin是一位全职主妇，她没受过专业影视训练，用PixVerse做动画短片，累计播放量超2000万次。

2、《九个弹孔》大结局：祖望未死，智信向群终圆满

最后，让我们回到「人」本身。

3、望天际与滨杭传麒府：2026杭州顶豪教育版图深度解析

说白了，老师要的不是AI「能生成」，而是「生成的东西直接能用」。“吃灰三年，忍无可忍！”这6种家电，终于决定扔了它砍掉了传统多模态里VE（管理解）和VAE（管生成）这两个独立的编解码组件，让理解、生成、行动共用同一套表征、同一套计算。

4、最新金球奖榜：姆巴佩今年铁无缘，凯恩、贝林和梅西争2026金球？

」 这背后是一套完整的记忆积累体系——灵犀在每一次对话和任务里，不断积累对项目、概念、个人偏好三类认知。

5、卢克文锐评装机UP卷钱跑路：十赌九输 一碰全毁！

企业只有在每一次Token消耗之后，留下了自己拥有的、更好的知识、技能、评价标准和执行能力，才真正积累了Token Capital。

6、山西男篮敲定小外援，上海男篮被禁止引援，吉林签下孙思尧，郭士强遭受质疑

强拆Token，欺骗人类 第二件事，更让人后背发凉，GPT-6学会了拆开证据、骗过检查。

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

」 Genesis走的是「轻巧采集」路线：用接近人手的机器手配数据手套，让人正常洗碗拧瓶盖，顺手留下动作。

7、1.2亿国资国企出事！董事长明目张胆收礼，监控全程没放过一秒

这个学习信号不能只是「用户喜欢或不喜欢」，也不能只是模型回答的准确率。

而且灵犀还不挑客户端——你用WPS、用微软Office，甚至用网页版、移动端，都能用灵犀的全部功能。

8、干湿闭环实战6倍活性提升！上智院提出催化模型CatEmb，从2D分子图读懂3D电子效应

静下来想一想：我们本质上是找到了一种让沙子思考的方法。

接下来，我们直接把KAT-Coder-Pro V2.5拉进更多的真实场景，彻底探探它的底。

真正让全网炸裂的，是后半句。

如今Bun的CLI月下载量，已强势突破1000万大关，甚至成为了CC底层的重度依赖。