7月12日晚上，东京大学的数学物理学家立川裕二突然心血来潮，将这份已经停滞半年的研究笔记扔给了AI，没抱任何希望。

1、星空官方 Fable 5给东京大学研究量子场论和弦理论的教授立川裕二留下了深刻印象： Fable似乎确实理解弦理论，并且也有直觉。

一句话翻译：智能体时代，需要新的算力「心脏」。星空官方过去一年里，从o3到各家旗舰，一茬又一茬的模型冲上来，全卡在130的门口，谁也没能真正踏进「天才区间」。

2、2028年竣工，成都将添一个银泰

我每天晚上一到10点就开始盯着出海客户的性能指标，看到指标一切正常才能放心去睡觉。

3、失业保险政策赋能企业稳岗扩岗

通过老式邮局玻璃、雨水与薄雾的多层折射，将这三位叙事人物精妙地隐藏在倒影中，空间景深与悬疑张力直接拉满。

4、攻防一体的平民英雄，27岁踢英超，36岁当主席，43岁从政

Vision-Language-Action（VLA）模型把视觉观测、语言指令和机器人动作统一到一个策略模型中，使机器人能够根据自然语言完成复杂操作任务。

5、推广

参考资料： https://www.nature.com/articles/d41586-026-02091-6 https://x.com/kimmonismus/status/2076658442282934351 https://www.reddit.com/r/singularity/comments/1uv399n/yuji_tachikawa_one_of_the_worlds_leading/ 编辑：元宇 大卫新智元报道 【新智元导读】国产Coding模型杀疯了！实测1分20秒闭环真实Bug，1395行代码徒手捏出《我的世界》，长程工程能力直逼Opus 4.8，不用再当AI保姆了。

说白了，这家做了38年办公软件的公司，这回干了一件很大胆的事——他们要给每个打工人，配一个「私人助理」。

它直接用AI造出面向不同芯片的高性能算子，可在真实编译试错与知识沉淀中持续自迭代，稳定交付工业级算子。

6、为什么不建议横着刷牙？

大模型厂商在秀参数，算力厂商在秀集群规模。

架构理念是最根本的分野。

7、阿根廷球迷请愿要求世界杯决赛重赛，超6.1万人签名

全场最廉价的白卷 P6这道数论题是Day 2的压轴，它要求证明递推序列最终具有周期性。

团队的答案是MOPD（多教师在线策略蒸馏）：学生自己做题，题属哪个领域就请哪位专家指点，能力在函数空间融合而非硬拼参数。

8、无偿献血 默默奉献 黄胜发被评为2026年第二季度“芝罘好人”

AI的下一个「CUDA时刻」 到这里，我们其实只谈了记忆的第一副面孔：对内的压缩与重建。

超长上下文：200万token。

所有爆料都指向同一个说法：性能可能不是第一，但价格会显著更低。

9、新年序开，志怀高远

埃尔德什的100美元悬赏 AI领走了 先把这道题的来龙去脉捋清楚。

杨帆对此的判断是，中国搞太空算力的核心逻辑不是地面电太贵，而是全球还有大量地区没有3G、4G，要把AI服务渗透过去，星上算力是最有效的路径。

10、毛利率三年从17%飙到71%，Momenta却三年亏了92亿：物理AI的叙事，能撑起这场IPO吗？

中国「芯」的智能体时代 回过头来看，此芯科技选择在WAIC开幕的同一天放出AGX Agentic Compute这张牌，时机选得相当精准。

对于后厂来说，核心命题只有一个：极致效率服务Token的规模化、高质量生产。

1、崔丽丽开直播获网友支持，满屏都是正能量

有人用Wolfram Alpha快速核验，发现结果完全正确。

2、江苏突降冰雹！

明明会抓，就是抓不到没见过的箱子。

3、年龄差19岁，这对姐弟恋又给内娱上了一课！

这句话最精准的收信人，是克里斯托弗·诺兰。纯电紧凑型MPV上市！不足7万起配侧滑门，5/6/7座可选，续航435Km一个人类数学家会怎么处理这道题？ 他会先试那个最自然的做法，检查一遍线性代数，发现不行，然后耸耸肩，心里想一句「本来也没指望能这么容易」，起身走人。

4、惊天爆冷！西班牙竟0-0战平54万人小国球队！40岁老门将一战成名

这意味着，人类即将迎来一个100倍速的震荡时代。

5、“黑色浅口鞋”今年夏天太火了，怎么搭都好看！

对要在有限算力下支撑成百上千人并发的大型企业，这不是锦上添花，而是生死线。

6、令人心疼！遗憾无缘卫冕，39岁梅西领取奖牌后泪洒赛场

这是这个时代绕不开的背景音。

于是环境构建、轨迹合成、RL稳定性、能力融合，都被当成一等的系统工程去啃。

在衡量Agentic工具使用能力的PinchBench上，KAT-Coder-Pro V2.5拿下94.2 分，力压Opus 4.8。

7、重新定义「胖肚子」，90%的人都搞错了！

为什么走向AGI 必须是「体系化跃迁」？ 什么是真正的体系？ 近期行业内有一次动作极具代表性。

杨帆说了一段特别犀利的话：很多自称算力服务商的公司，实际上是帮大厂代持机器、签长租约，本质上提供的是一种金融服务。

8、没有对比就没有伤害！梅西全队托举屡破纪录，C罗被孤立孤掌难鸣

在这个AI能批量制造「真实」的时代，唯一的防线，是多问一句：这是真的吗？ 参考资料： https://www.abc.net.au/news/2026-07-05/lily-jay-foundation-posts-ai-generated-misleading-videos/106866422 编辑：桃子新智元报道 GPT-5.6-Sol 的攻防能力超越了 Claude Mythos 5！ 英国 AI 安全研究所（AISI）7 月 17 日发布了一份评估报告，第一次公开量化了开源 AI 模型与闭源前沿模型在网络攻击能力上的差距：4 到 7 个月。

同一场演讲里，奥特曼还抛出这样一个判断： ChatGPT出现到现在，三年半。

按传统分工，市场调研、素材制作、广告投放、达人 BD 至少需要五六个人，仅人力成本每月就要 8 到 10 万元，三个月烧完预算还不一定能验证出结果。

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