作为创业团队，整体能力较为均衡——模型、产品、商业化、全球化，四条腿一起走路。

1、星空官方 它拥有的两种「记忆」，都不是我们真正说的那种记忆。

而且它不是单枪匹马上分，SOL、TERRA一整个家族集体飙到136，连视觉版都没掉队。星空官方Infra是基础设施。

2、同心共筑公益义诊行 京藏情深守护高原健康—— 东嘎社区卫生服务中心公益义诊侧记

CPU不再是「打杂的」，而是任务调度与执行的中枢。

3、LG新能源在美起诉亿纬锂能专利侵权，涉及五项电池专利

这种从底层架构向物理世界的全面映射，超越了传统单点突破的机器人研发模式，并最终外化为传统机器人整体性的物理表征。

4、世界杯10亿豪阵沦为进攻便秘 C罗真的是葡萄牙被淘汰的背锅侠吗？

参考资料： https://openai.com/index/safety-alignment-long-horizon-models/ 编辑：桃子新智元报道 7月17-18日，第四届世界科学智能大赛总决赛及颁奖典礼在上海举行。

5、正式签约！四字门将加盟北京国安，中超下半程有望首发出场

PI偏押最脏的场景：让机器人当咖啡师，做浓缩咖啡还要90%以上可靠——端着带液体的杯子、拿捏出杯时机、精细力控，一步都不能崩。

这三块之外，还接了9个K-12生态连接器： ASSISTments出对齐课标、能自动判分的数学题，Canva把教学材料变成课堂能直接用的设计，还有Brisk、Diffit、MagicSchool、TeachFX等。

这意味着，今天在四足狗上验证的经验，明天可以直接迁移到双足人形上，而不需要推倒重来。

6、马丁内斯谈判搁浅，尤文转攻维卡里奥

也许，AGI的到来本就是悄悄发生的，没有官宣的那一刻。

这意味着只要Gemini的架构不大改，芯片就能一直用，新版本的参数照样灌得进去。

7、亏电油耗比HEV还低！17.49万元起 迈腾PHEV、探岳L PHEV开启预售

对我们这些真金白银掏钱买Token、搭Agent的人来说，今天这场发布其实只有一个字最实在——降。

AI翻出了图论大师Tutte的「群流定理」（Group-flow theorem）。

8、一年在欧洲暴增1.5倍！欧盟坐不住了：将对中国插混车加税

这是个科学怪人式的检查点——塞满了Qwen2.5-7B-Instruct的碎片，循环重用，用随机数据填充，外加一堆无法验证的基准测试成绩。

未来尚未写就 AGI有潜力成为推动科学与医学进步的终极工具，并带来巨大的生产力跃升与经济增长。

第一跳，在2025年。

9、这3种不健康的早餐搭配，别再吃了！

致命的危险——当Gemini成为军方的「黑盒」 抛开道德谴责，特纳作为一名前沿AI研究员，指出一个极其恐怖的技术安全风险。

它能不能跑好，有条铁律：把「完成标准」写具体，而且必须给一条失败退路。

10、早报｜海信“有爱，科技也动情”亮相世界杯；国际足联与百威续约

带宽这一关，它靠一次技术迁移解决。

这就是那篇44页的《数学年刊》论文。

1、穆氏皇马又腾出一名额，26岁左边后卫加西亚，400万欧元转会离队

一个赌对了「规模定律」（Scaling Law）的人，偏偏在教育上看走了眼。

2、闹剧变喜剧！比利时大胜捍卫足球正义 美国费尽心思彻底沦为笑柄

狂欢过后，业界陷入了尴尬的「三重失控」：用量失控、成本失控、价值失控。

3、世界杯季军赛前瞻：英法对决大开大合，姆巴佩志在冲击金靴

物理生成与推演层面，Kairos-HomeWorld首次实现全屋生成与物体全交互，内置30万套中国住宅平面图、5000个全屋仿真场景、8700个覆盖六大物理属性的3D资产。捍卫阿根廷足球尊严而非施压，梅西的“怒”是队长领袖担当最终，谷歌悄悄签下了合同。

4、尘埃落定！马德鲁加回应离队传闻，具体内情曝光，曾收到他队报价

最近，GPT-5.6仅用1小时攻破50年数学难题！64个AI摘下图论皇冠；卡了半年的弦论难题，Claude一夜解开！东大教授惊到删推。

5、相册库存公开！快乐浓度100%的宠粉节现场长这样！

比过度依赖AI更让人担心的，是用了AI却不会验证，把机器吐出来的东西照单全收。

6、水果发霉了，切掉发霉的部分还能吃吗？

为了让「数据外泄」既能被精确度量、又不会真的造成风险，研究团队还实现了一个仿真版的Google Workspace工具Sim-Google，覆盖Gmail、Drive、Calendar等十六项服务，每次调用都会把完整参数原样写入本地日志。

从去年9月十几人的初创班底，到如今接近200人的团队，不到一年产出的成果可以说是相当密集。

两年翻了一千多倍，这早已不是一条曲线，而是一道拔地而起的高墙。

7、2026太空算力产业生态大会将于明日在成都高新区举行

今年5月，OpenAI公布了一个结果：他们的一个通用推理模型，自主推翻了一个源自Erdős、悬了将近80年的猜想，菲尔兹奖得主高尔斯（Tim Gowers）在配套论文里称之为AI数学的一座里程碑。

这对于AI可解释性的深层启示在于：当我们解释一个语言模型的输出时，真正「可解释」的不是内部神经元的物理激活，而是信息被范畴化、被结构化为可理解知识的过程。

8、苏州新市长，有个特别之处！

在这份离线排行榜上，GPT-5.6的一众变体（连视觉版都算上）集体冲到136分，把身后所有对手甩开了一大截。

这组差异意味着，纠偏并不是模型在执行过程中自然获得的附加能力。

」 嘴仗输了，票房也没砸成。

每次Claude想停，一个评估器模型就来对照你的标准，没达标就打回去接着干，直到目标达成，或者用光你设定的轮数。