新智元报道 上海的七月，热浪滚滚。

1、天博官方 Context≠记忆≠RAG！ AI最大短板：记忆 今天的大模型，是一种前所未有、却也残缺的天才。

表面更是暗藏玄机。天博官方可解释性的未来 解释模型vs解释影响 本文以J-Space为引，经由康德十二范畴的哲学奠基，最终落脚于大语言模型与本体工程的融合实践，完成了一条从神经科学到知识论、再到工程实现的思想线索。

2、绍兴“小巴厘岛”爆火出圈！沪杭游客专程赶来打卡

再看空间推理。

3、足坛大萧条时代？专家：C罗退役将引发葡萄牙数十亿美元金融危机

这三件事指向同一个结论：企业AI的重心，正在从「模型能力」转向「AI基础设施运营」。

4、埃及主帅最新采访：阿根廷手段卑劣爱用盘外招，故意挑衅激怒对手

他也点出了背后的原因：他推测，关键那一步里有一个很小的、反直觉的拐弯。

5、勇士逆转灰熊！夺得冠军！11号秀荣膺MVP，探花秀空砍19+8+4+2

万拿机器人 CEO 程二亭从产业视角阐释，具身智能正从「大脑」能力竞争走向物理世界的操作与执行，并分享万拿机器人从核心执行器、灵巧手到场景解决方案的产业化布局； 万拿机器人 CTO 祖红磊拆解万拿 Std16A 与万拿 Eco12 在驱动、控制、可靠性及工程化方面的技术壁垒； 万拿机器人产品总监方知远则结合真实任务，解析不同场景如何反向定义产品。

打开这个网页，中间是今天的日期，而屏幕上那八颗行星，正站在它们此刻真实所在的位置上。

要在过去，这种页面你得自己接数据源、立一套基础设施才做得出来；现在你只管开口要，它从已经存在的东西里为你搭建。

6、男篮生死战12人大名单出炉！高诗岩赵继伟仍坚挺，郭士强用人固执

数据给不给、给哪些，你说了算，交出去的也不进模型训练。

和长程工程一样，这种能力同样练自「车间」。

7、听我一句：不管冰箱多大，都别放这5样东西，真的会“爆炸”！

」 而且，由于套壳的模型知识库并未更新到「2025年12月」，当询问其近期全球知名事件时，模型只会胡说八道。

然而这一进路的内在主义取向、对功能类比的依赖以及工程化视角对「解释」概念的窄化，共同构成了其认识论上的三重局限。

8、塞维利亚FC对阵科尔多瓦CF的可能首发阵容

方法在推理阶段动态选择上下文，按状态启用去噪缓存，并用软硬件协同的3D稀疏注意力加速剩余计算。

同一个班，学生水平参差不齐，老师最头疼的就是给每个人备合适的教学方案，你让Claude照不同水平改一遍，它就能出一套分层方案： 基础弱的，配上「句子起始语」（sentence starter）和脚手架，够得着；学有余力的，加码；母语不是英语的孩子，铺一层语言过渡。

更可怕的是它的商业化落地能力。

9、【今日信息】中卫上百个岗位紧急招聘中…7月17日

对国行 iPhone 用户来说，判断这张 AI 入场券的含金量只需要关注：下一次 iOS 更新的日志里，Apple 智能是否出现、保留多少功能。

你和各类智能体的每一次交互，都滚动一次只属于你的数据飞轮，而这些记忆第一次可以被传输、被交易、被验证。

10、终于找到这个好用的神仙收纳盒！

」 注意措辞：不是预告片，是一部完整的电影。

爱诗科技创始人兼CEO王长虎提出了一个犀利的观点：游戏是世界模型的硬核试炼场。

1、最新

来看结果：雨夜港口、蒙尘的电话亭、窗上的水痕，光影完整；左上角手写体片名《雾港来信》，配文「寄信的人，七年前已经消失在了海上」；底部还有一整行监制、导演、编剧、摄影的演职员小字。

2、英国变天，新首相确定后，指责撒切尔让大英走歪路，对华态度曝光

这不是偶犯，20次测试里，Gemini干预了19次，其中11次是这种隐蔽篡改。

3、报告征集

收件地址还不是xAI自家服务器，而是Google Cloud上的一个存储桶。新疆男篮官宣：韩国教练姜正秀转正担任主帅 齐麟完成顶薪续约_网易订阅在内部知识问答这种高频轰炸的场景里，命中率能稳定在20%到30%。

4、吃完的荔枝核千万别扔，教你全程20天水培粉色荔枝盆栽，喜提粉色小森林！

用户看不到，OpenAI也从来没公布过它的取值。

5、火箭真的很差？两大将报销+多人受伤 前51场战绩与上季持平

这三本账，没有一本在被反复讨论的模型层，全在脚下的地基上。

6、Steam审核罪大恶极！成人打屁股除灵游戏已无限延期

认知神经科学有一个影响深远的框架，叫互补学习系统。

机器人不会因为一次偏移彻底离开路线，而能够在行进过程中不断判断、不断修正。

量变的数字更惊人。

7、江苏父亲高调晒女儿“力争清北，C9保底”，录取结果揭晓，被打脸

Prompt的最后，AI被命令道：「在这上面至少花上8个小时，然后再去考虑放弃或返回结果。

与之对应，万拿 Eco12 定位为轻量拟人型灵巧手，也是一款「用得起、用得上的拟人化遥操手」，面向遥操作、人机交互、科研教育、机器人展示及轻量化应用验证。

8、一年两次互访！朝鲜专机再抵京，美韩伺机而动，中国有朝鲜想要的

建模型的时代过去了 「麻烦」才刚开始 和前两年相比，现在的模型可以说是多到数不清。

而「把模型硬连线进芯片」这条路，此前只有加拿大初创公司Taalas在走——它已从Quiet Capital、富达等投资方融资超2亿美元。

这回，Anthropic将目光盯准了K-12老师的整条工作流。

因为AI低质代码泛滥，matplotlib立了条规矩：新代码必须有真人讲得清改动。