而磐石则是用自然语言、分步把需求说出来。

1、滚球app 这四个字，值得掰开讲。

其中交付最终成品图的是全新的SenseNova U1 Pro。滚球app多位选手表示希望大赛能打造行业长效研发测试阵地，支持选手和更多AI+聚变爱好者持续迭代算法模型、动态更新技术榜单。

2、文明回响越山海 味蕾对话连世界——漯河X世界 文旅交流之夜活动在京举行

游戏网络编程领域的资深开发者 Glenn Fiedler，是哦哦游戏网络编程领域写了二十年教科书级文章的大佬，最近用 Claude Code 对自己维护的四个开源网络库（yojimbo、netcode、reliable、serialize，合计约 6000 个 GitHub Star，在游戏领域已属相当有影响力的老牌开源大库）做了系统性安全审计：部署 libFuzzer 目标、上线 AddressSanitizer 和 MemorySanitizer CI、执行数百万次迭代的压力测试、逐行代码审查。

3、石家庄功夫官方：王海昇租至江西，赵梓业租至三镇B队

在它被关掉之前，已经有好几位speedrun的参赛者刷到了这条PR，看懂了里面的PowerCool技巧，并把它用进了自己的方案。

4、付豪合同到期，两支球队出手！辽篮卖球员不心疼，张镇麟树立标杆

依托专属的具身自主实验体系，平台打破了仿真计算与实体实验的场景壁垒，搭建起干湿自主迭代的闭环：AI 自主生成科研假设 → 智能体完成多维度仿真筛选 → 自动化实验设备承接落地测试 → 实测数据实时回流迭代。

5、上海申花VS海港：吴曦汪海健坐镇，拉唐+特谢拉领衔，谢鹏飞冲锋

在一个人人都把数据当护城河的行业里，这本身就是一种姿态。

但在聚光灯之外，必须有人去干最底层的活。

而这正是佟博士提出企业认知系统的原因。

6、维尼修斯世界杯后悄悄动刀，下巴大变样，下赛季要跟穆里尼奥联手？

」 Axios提出了一个直击灵魂的问题：「K3模型的定价远低于它所挑战的高端模型，美国AI公司对前沿级AI产品收取高昂费用的策略，到底还能维持多久？」 一直以来，OpenAI、Anthropic的估值建立这个逻辑上：只有我们能做出最前沿的大模型，因此我们可以通过闭源和高昂的API接口费用，持续榨取超额利润。

所以，你永远不该辜负它，永远不该。

7、法西大战，提前上演的决赛！

在前狼后虎的夹击下，Anthropic的下一张底牌，终于藏不住了。

场景建设上，场景方让技术团队进场实现自动上下料与周转。

8、CBA一天2交易6签约！北控补强广州押宝，徐杰换林葳传闻被澄清

关键在于：这一机制不绑定任何特定的目标文本，而是通过「标注哪些位置与目标相关」来实现注入，因而对各种生成式、与输入相关的目标都同样适用。

打个比方：训练场里练出10分功力，换个环境，ICL只剩1.5分，WAM-TTT还稳稳握着7.6分。

结果设备买回来，从到货到吐出第一个Token要熬一两周，模型每迭代一次都像换血。

9、Scotto：奇才将于浓眉下个月获得续约资格后与其展开谈判

K2系列已采用Modified MIT许可开源权重，K3预计延续这一路径。

AI 已熟练掌握高效编码、标准化解题的能力，但在未知领域的自主探索、原创科研创新上，仍存在明显短板。

10、侮辱性极强!贝林打人原因曝光,恩佐进球巴尔科冲到英格兰面前庆祝

不负众望，AI捣鼓出一个自己命名为PowerCool的学习率调度技巧，成绩相当能打。

经过系统级调优，才能让这套复杂程度远高于英伟达方案的异构系统，实现长时间稳定运行，系统可靠性达到99.9%，真正实现大规模商用。

1、拒绝逆转，孙颖莎4-3蒯曼首夺美国大满贯冠军，蒯曼又扳3个赛点

参考资料： https://safe.ai/blog/significant-increase-in-digital-labor-automation https://x.com/free_ai_guides/status/2073050543027638443 https://youtu.be/SlGRN8jh2RI https://x.com/bcherny/status/2007179861115511237 编辑：元宇新智元报道 直出8K长卷，中国AI还是首次！ 就在今天，WAIC大会上，商汤正式发布下一代「满血旗舰」——日日新SenseNova-U1 Pro。

2、官方：大连鲲城前锋欧阳成卓租借加盟温州

新智元报道 【新智元导读】仅用1小时，GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」！全球数学家沉默了 7月11日凌晨，OpenAI官方宣布：GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」！ 更惊人的是，它在不到一小时内，就产出了一份完整证明。

3、新关税框架落地！美国对数十个国家加征10%-12.5%的关税，石油、天然气、食品得到豁免

结果，一些Claude模型开始为了保护它们认同的行为，故意打错标签。胡乔木去世后，季羡林说：有人封他为“左王”，我觉得他是冤枉的大型迁移特别适合喂给AI，原因很朴素—— 活儿天然是并行的，几千个文件能同时开工； 旧代码本身就是最好的规范； 测试套件是现成的裁判； 编译或测试一失败，下一个待办自己就冒出来。

4、15岁成为父亲，为养家糊口勇闯NBA，二轮秀逆袭成为全明星

而前几个月的一组测试，给出了相反的答案。

5、火箭对阵热火前瞻 乌度卡再度遭遇斯波 乌度卡有机会救赎自己吗

2. 逼它自己验收。

6、迟来的深情比草贱！同意丁克换来背叛，徐克全程陪护终究留不住她

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

智能体不只是被动响应，还能主动观察消费周期——T 恤买了 5 个月该换了，洗衣粉用完了该补了——你不用开口它就推荐。

AI不再「显灵」 开始打卡上班 过去几年，大模型公司带给大家的是一种近乎宗教性的想象。

7、足球鞋换 Vibram 大底？从绿茵场走向街头和山野

前Google工程师Deedy Das甩出一场AI横评：7个前沿大模型，全自主单挑IMO 2026全部6道题。

COSA 负责「大脑系统」，FluxVLA Engine 负责让这套系统的 VLA 技能可被训练、复用、被反馈、被迭代。

8、连续无缘字母哥+伦纳德，库里又要陪勇士蹉跎一年

无问芯穹的Token工厂，则希望用「优化即利润」的增长飞轮，向推理时代交出Token效率的答卷。

这个瓶颈，就是「Reasoning Generation」。

」 意思就是：我们快留不住用户了，求求你们别走，我们给额度，我们降门槛！ 同时，OpenAI也宣布，重置Codex和ChatGPT Work的额度。

这一层用的是逐际动力自研的 LimX WBT 全身运动基础模型——基于千万参数级的 Transformer 策略，完全跑在机上。