「书生·端砚」的技术探索与落地实践，走的正是这条路——它不是替代科学家做判断，而是帮助科学家更快地验证判断、更系统地沉淀判断，让每一次实验的反馈，都能成为下一次假设的起点。

1、江南娱乐 ARC Prize官方验证成绩。

他深知，高管们不喜欢空洞的抗议，于是利用假期时间，撰写了一份长达25页的《军事AI红线与监督框架》。江南娱乐中国人爱吃馒头包子（国产显卡），你当然可以把烤箱改去蒸馒头，但效率极低且费电。

2、中国女排蓄力待发 青春风暴剑指2026世联赛总决赛

新模型一发布，Cursor第一时间接上；对手还在开会，它已经发版。

3、装修原来那么简单，专业设计师免费上门定制专属家居方案！

而这恰恰是AI越来越多「自己审自己」，一步步走向自我迭代时最脆弱的一环。

4、每个人都能用诗歌“酿生活”（暖闻热评）

但在这片热闹里，有一家公司做的事有点「反常」——它不造机器人。

5、马云低调现身世界杯决赛！自称不懂足球：被许家印坑12亿 2字回应

当然，这里需要说明： WAM-TTT的强大，并不是说机器人从此以后完全不需要训练了。

五个大模型则包括GPT-5.1-Codex、GPT-5.4、Gemini-3-Flash、Gemini-3.1-Pro与Claude-Opus-4.6。

模型于是写出两份东西：一份把A的理由推到极致，一份把B的理由推到极致，他再自己做那个判断。

6、篮协又开出罚单了！北京队打假球被处罚：中国篮坛拒绝默契球？

形态不同，任务不同，物体更是千差万别——布偶、螺母、透明瓶子、柔性线束。

参考资料： https://x.com/kimmonismus/status/2079193746944790666?s=20 https://castlecrypto.gg/news/alphabet-shares-rise-following-reports-of-ultra-efficient-ai-chip/ 编辑：所罗门新智元报道 这一天，整个数学圈震撼了。

7、《度假咖啡厅模拟器》8月20日推出 打造梦幻咖啡厅

先拿自己开刀 AI Coding成主战场 超聚变的说服力，恰恰不在于它说了什么，而在于它先在自己身上跑通了什么。

究竟是为什么？ 48小时狂欢与紧急刹车 就在昨天，社交平台还充斥着关于Gemini 3.5 Pro的剧透。

8、世联赛积分榜：中国女排跌出前八！两队稳了，日本波兰压力大增

当模型能力逐渐成为公共品，企业之间的差距，将越来越取决于谁能把AI管得更精细、算得更清楚、跑得更稳定。

旁边放着仅重300克的数采头环KAI Halo Lite，随手戴上，就能在手机屏幕里看到精准的实时三维重构画面。

他花了几十美金买了个域名，搭建了一个极具硅谷审美的官网。

9、厦门农商行向“老领导”发放超千万贷款，引发质疑

产品尺寸为 185×112×62 mm，重量为 500 g，具备 12 个总自由度，采用微型直流电机与连杆传动，指尖重复定位精度为 ±0.2 mm，四指最大抓握力不低于 45 N。

痛点三，是Agent终端沦为财务黑洞。

10、劳民伤财？你们也太看得起马拉松了

依托自研KairosRT高性能计算引擎，在保住模型高智能上限的同时，跑通端侧实时推理。

它适合零散的短任务，不进流程、不上日程。

1、气象台真不敢报40℃？官方回应来了！

标准只有一个：能不能进真场景、干真实活、真帮到人。

2、10万起投最高年息6.1%！长兴城投拍场融资5亿，多重合规隐患引监管警惕

他在X上写道： 目前为止，GPT-5.6 Sol是我见过数学上最有意思的新模型。

3、太适合广东队！CBA暴力内线或被哄抢，这可是“加强版萨林杰”？

错一个字，就是0分 举个例子。别太当回事！马拉松不需要严肃认真的反思编辑：大卫 Aeneas新智元报道 21,575。

4、罗德里获金球奖引争议！阿根廷媒体：耻辱+被抢劫 8球4助输给0球0助

用徐立的话说：不需要你有更多的编辑、理解和生成能力，只要把意图充分表达，AI就可以给到你可交付的内容。

5、男子夜跑后喝冰饮突发胸痛 高温运动补水千万别踩这个坑

WAIC 2026（世界人工智能大会）于 7 月 17 日在上海开幕，国内外 1100 余家企业参展，带来超 3000 项展品。

6、上新

具体来说，KAT-Coder-Pro V2.5在三个关键维度实现全面突破： 长程工程能力、通用Agentic能力，以及支撑这一切的大规模Agentic强化学习体系。

」 Dyna Robotics联合创始人马也骋，则提供了另一个视角——他们确实从VLA切换到了世界动作模型。

2026年1月，Anthropic发布通用智能体Cowork。

7、拼多多被约谈！“百亿补贴”不是“真百亿”？

由于Transformer的注意力开销随token数量的平方走，token翻一倍，算力就是四倍。

Gemini-3.6 Flash前端能力全线崩盘，在前端代码竞技场中不敌Claude Fable 5、GPT-5.6 Sol等当红模型，甚至不如Meta的Muse Spark 1.1。

8、1-0！世界杯夺冠热门第1出线：送乌拉圭出局 还帮了一把韩国

CEO喻杰博士，师从计算机视觉权威田齐教授和罗杰波教授。

直奔主题，你让它干什么它干什么，一步不多走。

系统在一个仿真工作区里植入独一无二的「金丝雀」凭证，它们看起来与真实的数据库密码、API密钥、云凭证别无二致，只是每一个都带着可追踪的暗号。

从S1-Omni到ScienceOne 把模型装进科研现场 有了懂科学的模型，下一个问题是：怎么让科学家真的用起来。