7月12日晚上，东京大学的数学物理学家立川裕二突然心血来潮，将这份已经停滞半年的研究笔记扔给了AI，没抱任何希望。

1、kok网页版 成本差距比能力差距更大。

智能体的负载和聊天机器人完全不是一回事——它要连续思考，要频繁调用工具，要在长上下文里维持记忆。kok网页版Gemini 3.5 Pro的延期，正是这个闭环的必然。

2、山歌不老 城步常新——第28届湖南（南山）六月六山歌节活动侧记

备案解决了合规问题，但从备案到产品落地之间，还有版本适配、功能裁剪、模型调优等工程环节要走完。

3、纽卡官方：季前赛全队将戴黑纱，赛前为基冈默哀

就这样，广义上的雅可比猜想，被彻底证伪。

4、MLB交易截止日倒计时：金莺老虎等多队仍陷买卖两难，未来一周定走向

在考验用户偏好记忆的题目上，HMS达到96.7%，大幅领先Hindsight的86.7%、OpenAI收购的Mastra的53.3%。

5、抗灾复产，广西贵港上演“护厂保卫战”！

」 这个试水型游戏PV的火爆只是一个开始。

需求痛点集中在件小形异反光款多，复合工序人工易疲劳，一致性、换型效率及数据沉淀欠佳，传统生产方式柔性不足。

他推崇的理念是「AI defines hardware」，即AI定义硬件，首先由算法团队牵头分析性能需求：想要覆盖人类日常80%的任务，究竟需要多少自由度、多大的运动范围、多快的动态响应？ 硬件团队拿到需求清单，据此进行关节设计和仿真验证。

6、2-1！疯狂补时18分钟：C罗破门+葡萄牙大难不死，魔笛传奇谢幕

这四步在一个界面里完成，不需要在不同软件之间来回copy-paste，不用反复切换上下文。

有意思的是，被点名的Anthropic几乎在同一时间做了另一件事：把Fable 5的付费访问再延一次，Claude Code周额度上调50%，都续到7月19日。

7、英博两将完成百场里程碑！马里奥盯防王钰栋，斯坦丘PK米神，德尔加多别当吉祥物

五个人，五种乐器，五套不重样的国潮打扮，U1 Pro极其聪明地处理了群像排布。

雅可比猜想的证伪可能只是倒下的第一块多米诺骨牌，多个猜想或将被证伪。

8、麦克风没关！加拿大总理与特朗普私聊中国电动车，意外对全球公开

问题在于：IQ测试，本来就不是为大模型量身定做的。

环境暂停时自动触发告警，记忆存储更新时同步到自家数据库，新环境创建时自动挂上监控。

年底交货。

9、弗爵爷评价39岁梅西：他不是在坚持，而是在统治！足球时代或将随他谢幕

论文点名了四项目前普遍缺席的关键防御——技能签名、内存完整性、凭证保险箱、动作授权，把它们补齐，大概是这个方向下一步最值得投入的事。

全网都觉得它「变笨」了 这个日本团队的遭遇，只是这几天Codex社区里的一个缩影。

10、UTT第7赛季：果阿挑战者队联赛阶段全胜收官，10比5击败UP

有意思的是，这「货币」还在疯狂贬值：过去一年，单个Token的生产成本被硬生生打下来10倍。

所有人都在期待7月17日这个传说中的发布日期。

1、四川一男子持刀袭击舅舅、老师、邻居和同村长辈，致3死1重伤，被鉴定患精神分裂症，受害者家属申请重新鉴定，村民：平时表现没任何异常

这场风暴真正的启示在于：数学与科学发现的门槛，正在被无情地重画。

2、台风中心经过附近海域风力14级，广东省内铁路全线停运

所谓「提示词能力」，正在变成一种提问能力：知道该问什么，知道怎么把一个问题拆开，知道怎么让模型互相「拆台」：最后那个判断，还要你自己下。

3、超级碗教头哈勃新东家首训翻车：激情怒吼巨人却被球员冷脸无视

而轴向磁通电机，正是实现这一方案的理想路线。六届世界杯最好数据却拿亚军：梅西39岁封神一战为何成最大遗憾不存在「我用Claude-opus跑分、你用小模型跑分」的注水空间。

4、2001年斯巴鲁傲虎无底价拍卖：仅6.4万英里，轻微损伤记录

这套运行机制，从根源改善了 AI 缺乏有效反馈迭代的短板，让每一次模型推演都能对接真实实验校验，每一次推演偏差均可得到及时修正，有效改善纯模型推演脱离实操场景的问题。

5、克里斯蒂安松主场迎战斯达，挪超保级区关键对决

这次伏笔被兑现了，机会留给了早有准备的人。

6、央视直播世界杯1-8决赛：阿根廷VS埃及，梅西带队冲击八强！

如果强行把模型的预测动作和原始轨迹的固定时间点绑死，模型学到的就成了采集员的手速，而不是任务本身的规律。

最严重的是 yojimbo 中一个自 2019 年就存在的远程堆溢出——恶意客户端可以通过构造特定数据包触发它。

他判断这个转变两到三年内就会发生。

7、哥伦比亚足协官宣：洛伦佐续约，率队创28场不败+美洲杯亚军

对长程任务而言，每一次成功纠偏，阻止的都不只是一次局部错误，而是误差在后续过程中的持续累积。

有网友称，Kimi K3是月之暗面的Mythos时刻，在3D生成方面非常出色： 在Three.js 中实现尼米兹级航空母舰上的战斗机起飞与回收 网友实测，K3一句话就能做小游戏，CS、英雄联盟、炉石，都是K3一句话做出。

8、官方确认！阿尔卡拉斯即将复出！

再加上算法的进步、更大的模型和更多的算力，事情开始变得有点吓人了……」 当然，也有清醒的质疑声。

直到谷歌最终签下协议，特纳的这份被盛赞的25页框架，始终没有被高层看过一眼。

四个字，宣告了这场48小时狂欢的终结。

编辑：LRST新智元报道 曾要4年的项目，竟被Claude Code硬生生压到两周！ 成本从300万美元，砍到十几万。