就在几周前，Cursor的母公司Anysphere，刚被SpaceXAI全股票收购。

1、博亚平台 如果企业的能力只能存在于某个模型的私有上下文、某个供应商的 Agent 平台或某个不可迁移的提示词系统里，那么企业事实上并不拥有这些能力。

整体效果，就是那种可以直接送进影院灯箱的感觉。博亚平台Anthropic前不久还上线了Routines，把同一套机制搬到服务器端，合上电脑，它照跑不误。

2、无阿兰艾克森！广东晨星创尔特低调备战总决赛，球迷：真广州队

这里的「可盈利」不是财务游戏，商汤科技联合创始⼈、⼤装置事业群总裁杨帆给了一个非常明确的定义：收入覆盖折旧、摊销、机柜租赁、电费和人员服务费之后，利润率为正。

3、中超最新积分榜：2支被扣分球队积分“转正”，升班马暂登榜首

GPQA最开始只有39.4%，调整答案格式和评测设置后，直接飙到95.96% AIME因为答案都是数字，且题目已被大量公开，最终跑到了100% 最夸张的是HLE——他直接把测试答案拿去训练，最终得到99.44% 第二步，就是制造一家「真实存在」的实验室。

4、为何毛主席下令保护蒋氏故居，老蒋却三次派人掘毛家祖坟？_网易订阅

从整体观感来说，U1 Pro赢在了「清爽」。

5、始祖鸟，一炮炸没了安踏近百亿市值

最让硅谷巨头破防的，是接下来的两个致命一击。

汽车的普及离不开高速公路，电商的爆发离不开移动支付。

针对大模型三维操作偏弱的问题，行业普遍通过对接pymatgen等专业工具库补短板。

6、如果穆斯卡特没得到上港续约！部分球迷看好里卡多入替，出任新帅

而它背后的「罪魁祸首」，就是Agent。

但这套打法的红利，正在肉眼可见地变薄。

7、罗马诺：曼联正与西汉姆联接触，但不会为M费的疯狂转会费买单；记者：曼联想签下一名谢什科的替补，但不是莱万

• 兼顾速度和成功率：可靠horizon扩展避免盲目拉长chunk，稳定性约束避免短路径投机。

真机、实景、试炼，才是具身智能从秀台走向工位的必由之路。

8、疆超联赛进行时

自研多模态模型MiniCPM-V/O系列已迭代两年半，开源下载量突破2500万；MiniCPM-V 4.6开源不到2个月下载量突破200w，在国内外社区影响力广泛。

认知神经科学有一个影响深远的框架，叫互补学习系统。

第一个是零部件。

9、从纽卡校园到1.16亿镑标王：英格兰新核安德森的逆袭之路

当时，五角大楼正在向各大AI巨头施压，要求他们签订一份允许「任何合法政府用途」的军事AI合同。

实验中以「负面」语气为例，同一负面倾向可适用于不同话题，措辞随话题变化。

10、澳大利亚“自毁”，亚洲球队全军覆没

一头金发常常裹在头巾里，配上一段段热情洋溢讲信仰的视频，在全球穆斯林中圈起近300万铁粉。

近日，来自华中科技大学的李钦宾研究团队在ICML 2026 Position Paper Track提出了一种新的解决思路：不是让大语言模型替代人类审稿，而是利用LLM对「评语—分数」之间的映射关系进行校准。

1、中超第19轮明天7月17日赛程：西海岸PK蓉城，国安PK辽宁铁人

Boris的秘诀，藏在一个词背后：循环（Loop）。

2、曼联没抢到的人放话：曼城才是“国王”，1.16亿先生还能更强

DM0.5在机器人数据上加了11种自回归推理任务。

3、逆转美国进4强！国内媒体一致保持冷静，并点出中国女排存在的问题

归根结底，能生成，不等于能交付。UFC夜赛一致判定完败 乌斯曼赛后一句话让人肃然起敬最终拿下最高分的，是磐石。

4、全球首台手动挡Huayra Roadster拍卖，估价超500万美元，车主已离世

在Claude Code里，你可以把一个跨越多天的项目整个丢给它，它自己分阶段规划、自己派子智能体、一直干到达标为止。

5、四川省2026年普通高校招生录取控制分数线

结论顺理成章，Token既然从「聊天成本」变成了「价值链上的原材料」，围绕它的整套基础设施—— 怎么产、怎么算、怎么管，就都得推倒重来。

6、苦等 8 年！阿森纳锁定新桑切斯，3500 万神兵完美复刻大腿巅峰

GPT-5.6 Sol：60分钟，两轮，满分。

正如周伯文所言，AI 的使命应从「加速科研自动化」迈向「以复杂科研任务牵引高阶智能」。

第二套是 Cyber Range，在模拟企业网络中测试模型自主执行多步骤攻击链的能力。

7、转会窗：尤文加速追求B席，弗拉霍维奇续约成迷

为什么说是「真·助理」？田然（金山办公助理总裁）在发布会上的总结特别精辟——助理度过试用期，靠的从来不是文笔多好、推进力多强，而是你能不能跟老板磨合好。

最终证明，这个方程组永远有解！ 当公式(8)和(9)划上句号，最后推导出等于0（在域中）时，证明结束了。

8、中东局势持续不明朗，F1考虑让马来西亚大奖赛今年回归

注意，从引入高危漏洞到完美修复，整个过程连上下文都没切，一次潜在的CVE危机，就这样在编码阶段被轻松掐灭。

大语言模型凭借其从海量文本中提取语义模式和知识关联的能力，正在从根本上重塑本体工程的实践形态。

它不需要复杂昂贵的数据采集，不需要动辄数十小时的遥操训练，不需要标注数据。

金山办公说能保留287种Office格式元素——图文混排、复杂表格、多级列表都不会走形。