回头看今年4月，GPT-5.4 Pro在80分钟里解掉了Erdős 1196，用的是von Mangoldt函数。

1、博鱼手机 deepseek-v4-pro：百万输出tokens平时0.87美元，高峰1.74美元；缓存未命中的输入平时0.435美元。

论文点名了四项目前普遍缺席的关键防御——技能签名、内存完整性、凭证保险箱、动作授权，把它们补齐，大概是这个方向下一步最值得投入的事。博鱼手机就在几天前，强化学习之父Sutton官宣创业；几个月前，他的学生、AlphaGo之父Silver做了同样的事。

2、世界杯32强淘汰赛：巴西vs日本 日本球员发话：不管对手是谁 目标夺冠

而这一次，它们要在物理世界里，连续协同整整15个小时。

3、从19项到10项，2026英联邦运动会格拉斯哥缩水开幕

从社区炸锅，到一把手清零，前后不到48小时。

4、山东男篮大清洗！9名球员确定离队，邱彪不要混子球员

而这还只是多写的坑之一。

5、高质量发展进行时

效率可想而知。

另一边，是一家中国公司，加一台随手能买到的运动相机。

具身CoT：让模型「边干边想」 没有语言理解能力的VLA，就是数据集复读机。

6、梅西打破沉默：这痛苦巨大，伤口需要时间愈合

制作精良的官网、满屏术语的学术论文、详细的模型架构图，以及「我们拥有180名顶尖研究人员」的雄厚背书。

小象电动的规划很务实。

7、菲律宾组织多艘船只非法聚集、侵闯中国黄岩岛领海，中国海警依法采取水炮喷射等必要措施予以坚决驱离

声音很大，账算不平。

Qoder CLI从v1.1.0起支持同样的能力：输入/security-settings，即可查看并开关三层防线。

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

12 = 2² × 3，18 = 2 × 3²。

问题从来不是它记得不够多，而是它不会回忆。

第二点，系统绝对禁止告诉大部分AI目前哪个方案最被看好。

9、针对欧方恶劣行径，中方决定：将14家欧盟实体列入出口管制管控名单，禁止出口经营者向其出口两用物项

这次他休假回来，一边收拾行李，一边让Claude按同样的标准，分析他自己的基因组。

CinemaScore观众评分拿了A，Matt Damon领衔，全片用IMAX摄影机拍摄，几乎不用CGI，视觉质感碾压级别。

10、最高人民法院院长张军，最新署名文章

这是极度反直觉的智力高空走钢丝。

AI的下半场，拼的是运营力 除了作为调度中枢的「星火Token Factory」，科大讯飞星火企业军团这次还发布了三款企业级新品。

1、指数涨个股不涨，A股分裂症痊愈要？别高兴，中报窗口是新的残忍

最抓眼球的是入口处的「零售区」。

2、手握大赛冠军无数，他的荣誉柜里就差这一个

效率变化是可量化的。

3、记者：曼联愿意为琼阿梅尼提供顶薪，个人条款不会是问题 ；B费已告诉队友，他将留队

但很少有人追问上一环：经验，从哪里长出来？富内斯给过反面答案：记住一切的人，提炼不出任何经验。企鹅公布休赛期新援球衣号码 科扎克穿6号库兹缅科10号合并之前，Bun现有的全部测试用例，在CI里100%通过。

4、看完新帅诺里发言，球迷心凉半截，新赛季杨瀚森会重在参与吗

这是2026年7月的上海，WAIC开到第九年。

5、圣菲联租借签下后卫胡安·莱内斯

经过评估之后，他们最终决定直接升级高性能推理框架。

6、家门口输日本19分，中国男篮出线告急，将与中国台北决战

一个能拿Opus 4.8来兜底的模型，能力必然在4.8之上。

经验，是记忆经过高效抽象与表征之后的结晶。

Qoder「三层护航」，轻松上手 而且，为了让这种「贴身保镖」的体验不打扰开发者的心流，Qoder Desktop设计了一个极其优雅的三层防御体系。

7、普拉博沃要抄印度作业？印尼媒体怒批：外资天坑，好的不学偏学坏

他甚至让Claude自己设计了一套端到端测试，连着跑了四个通宵，专抓那些没人预料得到的边角问题。

很快可能他连loop也不用写了。

8、连特朗普都看不下去了，吐槽图赫尔神操作，将帅互相甩锅成笑话

百万奖金池，千万投资额。

但这种「赛马」机制，也意味着内耗。

目前，一部分人已提前拿到了DeepSeek V4（GA）灰度测试的权限。

光P3一道题就发起6次冲锋，鏖战491分钟。