各方爆料一起涌出：谷歌的终极杀器——Gemini 3.5 Pro，代号「Cappuccino」，将在48小时内正式上线！ 200万的超大上下文窗口，全新的「深度思考」推理模式，据说内部评测已经吊打了GPT-5.6 Sol和Claude Fable 5。

1、乐鱼电竞 入驻孵化营的团队将获得系统化创业培训、投融资资源对接、顶尖科学家与产业高管一对一指导以及后续持续跟进赋能。

正是这些不起眼的地基活，才撑起了后面平稳的训练。乐鱼电竞面对海量乳腺癌相关变异，尤其是棘手的VUS，研究者得频繁在GWAS群体遗传信号和UniProt蛋白质空间结构之间做跨组学比对。

2、一天闪崩83%！马云密友“钱多多”，深陷“杀猪盘”质疑

按这条定律，具身数据分五级。

3、西北首家落地万象城！苹果在西安成立新公司

算得清、接得快、管得住——这是企业AI下半场的入场券，也正是「星火Token Factory」想替企业拿到的东西。

4、火箭G1输球令人绝望？年轻球员需要适应季后赛 仍是更强的一方

当按下暂停键后，行星停止公转，卫星停止公转，地球停止自转。

5、宏远速递！陈老板做重要决定，土豪球队报价胡明轩，徐昕回购新消息

但如果我们把思考时间从几秒钟拉长到几周，延迟就会成为巨大的瓶颈。

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

我有信心，化解AI相关的技术风险，是我们能够共同应对的挑战。

6、申花VS海牛足协杯！俄罗斯教头透露目前阵容并不厚实 战术轮换难

Ontology 主要回答： 企业世界中有什么对象； 对象之间有什么关系； 当前状态是什么； 哪些行动可以作用于这些对象。

但那种能力，就在这个早上「彻底消失了」。

7、陈吉宁龚正等市领导深入基层，走访慰问坚守岗位持续奋战的一线劳动者

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

刚开源的SenseNova-Vision已经露了苗头。

8、雅创电子(301099.SZ)：拟与专业投资机构共同投资合伙企业

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

超远距离聚合：联合中国电信，完成国内首例超4000公里距离的大模型跨域混训，在新疆哈密与广东深圳两地集群间，实现联合训练性能提升165%。

Sol一次修好，还顺手让别的模型也跑通了。

9、吴梦婕出战24分钟贡献11分8篮板1助攻2抢断

真正的核心，变成停止条件设计、验证器（verifier）设计、token预算控制、多轮执行策略。

推文链接：https://x.com/satyanadella/article/2076323181154230284 传统的Arrow Information Paradox指出：信息卖方如果不披露信息，买方无法判断价值；但如果先披露，买方可能已经免费获得了信息，因此不再需要购买。

10、客战梅州客家，宁波FC要想积分回正，没那么容易

玩家会回头、试错、拿起道具、攻击角色、改变路线，也会做出设计者没有预料到的动作。

去年底，她一手打造的AxiomProver拿下了Putnam数学竞赛的满分。

1、关注

因为AI低质代码泛滥，matplotlib立了条规矩：新代码必须有真人讲得清改动。

2、西班牙3比0奥地利：谁是终结者？

这可不是一张太阳系的图，是一个真正运行的太阳系！ 太阳坐在正中，行星一颗颗铺开。

3、拥抱Token经济浪潮，国产算力链正在拼效率、压成本

先拿自己开刀 AI Coding成主战场 超聚变的说服力，恰恰不在于它说了什么，而在于它先在自己身上跑通了什么。微信重磅更新！超实用→更深层的问题在于，J-Space研究本质上是一项工程导向的工作，它将「可解释性」窄化为「可观测性」和「可干预性」，然而在更广泛的知识论传统中，「解释」的含义远比此丰富——它涉及将现象纳入更一般的规律框架，涉及提供理由和依据，还涉及对决策正当性的论证。

4、在东北最好的城市，这场马拉松挺匹配

在自我递归能力上，Kimi在技术报告中称，「K3与Fable-5（含潜在回退方案）达到了相近性能，但K3每次迭代的优化速度更快。

5、钟楚义增持资本策略地产(00497)164万股 每股作价0.181港元

它不是纪录片，不是游戏，不是电影。

6、“做两头、歇中间” 高温之下守护者也在被守护

攻防两端都在被 AI 加速，但加速方式不对称。

该系统采用双层协作架构和三层韧性自动化体系，借助「苏格拉底循环」实现模型自主迭代。

第四届大赛共吸引来自32个国家和地区的17977名选手报名，参赛群体涵盖清华、复旦、中国科大、南洋理工等知名高校学生，以及中核集团、国家电投、腾讯等领军企业及众多创新企业的研发人员。

7、S家终于公布大S死因：哮喘后泡温泉病情恶化，出现白肺后呼吸骤停

但「做生意」和「聊天」之间隔着四道槛，每一道都不是模型参数能解决的。

与之对应，万拿 Eco12 定位为轻量拟人型灵巧手，也是一款「用得起、用得上的拟人化遥操手」，面向遥操作、人机交互、科研教育、机器人展示及轻量化应用验证。

8、三峡大坝收支出炉：运行20余年，总投资近2500亿，如今回本了吗？

无问芯穹今天发布了一项与基础设施自我优化和进化直接相关的「前店」解决方案：基础设施智能体蜂群。

AI 上班的门槛在于一整套「岗位说明书」，Skill Market 就是钛动给行业写的那一套。

随着AI顶会投稿规模持续增长，同行评审面临的压力仍在不断增加。

S1 是技能层，频率约 50 Hz，S2 决定「做什么」，S1 提供「用什么技能做」。