1990年，第31届国际数学奥林匹克在北京举行。

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

时间上下文也不再使用固定窗口。kaiyun官网第1个测试是AI综合能力。

2、北控大刀阔斧换血！刘家成拿下国手锋线，四大引援一跃成联盟新贵

泄露没有消失，只是换了通道。

3、马刺险胜雷霆 将总冠军打得毫无脾气 文班重新定义最有价值球员

但光这部分，就已经够多了。

4、2胜11负到4连胜！过山车式反扑，最大功臣竟是69岁老帅，太神奇了

作为参照，过去七年IMO，4347名人类选手参赛，只有30人拿过满分——比例0.69%。

5、蛋白粉是智商税吗？！一篇告诉你真相！_网易订阅

https://www.tec-do.com/news/299 创始人兼 CEO 李述昊给公司取了两个词拼成的名字——Tec-Do（用技术做生意），后面挂着版本号 2.0，含义是「像做产品一样做公司」（Develop Company as Product）——Tec-Do 2.0。

没连对应连接器的人，页面照样打得开，只是那些实时区块空着。

这一组结果的关键意义，并不在于整体成功率，而在于「纠偏能力接近稳定可靠」。

6、挺大动静！中国13岁乒乓球少年夺冠，17岁队友神助攻，显得很厉害

加速技术验证与迭代落地，有效解决实验室分拣痛点，全面提升自动化效率。

谁也没想到，真正的风暴，其实来自大洋彼岸。

7、海外研选｜高盛：美国今年IPO融资或创2250亿美元新高 泡沫信号尚未出现

但它转头把这个Token拆成两截、分别打了码，等到运行的时候再悄悄拼回去。

同时，告警误报率下降了约80%，开发者再也不用在成堆无效告警里疲于奔命、逐条甄别。

8、专访｜万兴科技董事长吴太兵：中国版 Adobe的新抉择

未来，仍有10倍的下降空间。

只有一堆AI，趁着周末，把活干完了。

参考资料： https://www.aisi.gov.uk/blog/how-far-behind-the-frontier-are-leading-open-weight-models-on-cyber https://github.com/mas-bandwidth/patreon/blob/main/BUGS.md https://www.patreon.com/MasBandwidth/posts/important-news-164199395 编辑：马可新智元报道 【新智元导读】VLA模型已经会做任务，但真实机器人还是慢！PolicyTrim是一种优化VLA机器人执行效率的方法，无需重新训练。

9、威少要告别NBA？国王不希望他回归 至今无任何球队开出正式合同

强化学习正成为这一轮智能跃迁的胜负手，所需要的算力规模显著增大，动辄千卡甚至万卡起步的体量，并不是每个机房都能塞得下的。

一个更大的、足以改变人类历史走向的阴谋正在酝酿。

10、CBA今夏13名球员顶薪合同到期，只有这4人值得顶薪续约

而ChatGPT要接管的，是一片过去从没被专门打理过的地带：你和AI这几年共同生产出来的东西。

它们标志着全球顶级科技企业的讨论重点，正在从「模型能力有多强」，转向「企业如何避免失去自己的认知主权」。

1、马琳的暂停厉害，孙颖莎3-2险胜金娜英，国乒女团3-0韩国进4强

他也开始思考，理论统计学家未来的出路是什么？ 伯克利教授直呼「心塞」 GPT-5.6从零构造出了一个反例，宣告了一个残酷的事实： 在相关双侧高斯检验（correlated two-sided Gaussian tests）下，经典的 Benjamini-Hochberg (BH) 程序无法保证假发现率（FDR）始终受控。

2、三万条聊天记录，养不活一个AI智能体

这也决定了它现在最适合的，是边界清晰的结构化任务，而非天马行空的自由发挥。

3、中科院教授：别光顾着躺平，想长寿真得吃点“苦”！

高德途途在现实世界中的端到端成功外化，正是最强有力的证明。全锦赛曝出大冷门，国乒世界冠军0-3被横扫，这3点让人想不到特纳成功约到了Jeff Dean共进午餐。

4、山东高速辟谣不要干扰球队备战

OpenAI搬出用户隐私来抗辩，法院没接受，其中一条关键理由是：这些对话，是用户「自愿提交」给OpenAI的。

5、耐克全亚洲篮球训练营再度落户首钢花滑馆

」 通用大脑，还是软硬件全栈？全都要 机器人公司的另一项战略选择，是只做通用模型，还是同时研发模型、本体和部署系统。

6、拒绝“老粉”后，女主播经历的两年骚扰与四次袭击

在一款面向科学理解、预测与生成的科学多模态统一推理模型 ——S1-Omni的加持下，「统一」被拆成了三件具体的事。

他此前分享工作流时给过一条建议：想把Claude Code榨到极致，最重要的一步，就是给它一个能验证自己工作的方式。

今天，谷歌DeepMind连放大招，一次性摆出三张王牌： Gemini 3.6 Flash Gemini 3.5 Flash-Lite Gemini 3.5 Flash Cyber 一个更强的主力、一个更快的轻量款、一个专修漏洞的安全特种兵。

7、NBA官方：亚克塞尔-伦德伯格当选拉斯维加斯夏联MVP

如果d = 1，P不变，但K减少1。

Qoder选择的，是把安全护航做进智能体编码会话之内。

8、《创：战神》｜ Keep 联动挑战正式上线

他还提到朋友看病时遇到的一幕：医生在诊室里当着面转过身，对着电脑把病情敲进了ChatGPT。

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

同一个页面，面对不同的查看者，各自拉各自的数据，干各自权限内的活。

样本量从几千份跳到百万级，推理结果还能反复调优。