莫宗坚评价张益唐「不适合代数几何」，认为他的博士生涯「浪费了自己七年光阴，也浪费了我的时间」。

1、Kai云体育 这就是物理智能和文本智能最大的不同：答题，打完字就结束；干活，只有瓶子真拿到、工件真放准、插头真插进，才算完成。

那一年，德国数学家Ott-Heinrich Keller提出了一个问题： 如果一个多项式映射的雅可比行列式是一个非零常数，那么这个映射是否一定存在多项式逆映射？ 实际上，这个问题背后的直觉很简单——在微积分中，反函数定理告诉我们，如果函数在某点的雅可比行列式不为零，那么在该点附近函数存在局部逆。Kai云体育Dyna则把200k+小时数据摞成金字塔: 在之后的讨论中，马也骋分享了Dyna的实践经验：「部署数据放到下一次预训练中，接下来的部署时间就会越来越短，最终达成零成本在新环境完成同样任务。

2、一夜3大消息！火箭签回泰特，勇士放弃追浓眉，詹姆斯新进展

图左：Claude Science；图右：GPT-5.5 换一道更贴近临床的硬题，磐石的表现同样能打。

3、丁俊晖：知道自己正在复苏 赢奥沙利文是重大胜利

对此，无问芯穹的答案，是它首创的「跨集群异构PD分离架构」（Prefill-RelayDecode-MainDecode，PDD）。

4、曝周鹏有望新赛季有望重返广东男篮！未来或成为杜锋接班人

Figure 03 可以说，人形机器人进入双雄时代——逐际动力是 Figure 在中国最强大的对手，COSA 是目前最完整的人形大脑系统。

5、队报：法国选帅全程高度保密，过去几周足协内部无人提齐达内

这一机制的关键意义在于：语言指令第一次被稳定映射到「空间决策点」，而不是抽象语义。

但李述昊认为这只是棋局的一半。

纳德拉的第二层判断 2026年7月12日，美国东部时间上午11:09，纳德拉又在 X 上发表了关于Reverse Information Paradox，反向信息悖论的论述。

6、小米扔深水炸弹：100000h真实数据，首次系统验证机器人Scaling Law

以J-Space为代表的可解释性研究将神经科学范式引入了人工智能领域，其贡献在于使我们得以窥见模型「内部发生了什么」。

这种把智能体当作某种生命体来设计产品的思路，是他对 5 到 10 年后 AI 产业的押注。

7、今年CBA状元，没人想当的尴尬

Tibo：没有降智 我们在查用量 当晚，Tibo（Thibault Sottiaux）就出来说话了，他在OpenAI负责Codex与ChatGPT Work。

过去十八个月，AI Coding 领域暴热，任务成功率从不足 5% 飙升至 88%，代码生成、自测迭代的闭环已经跑通，赛道增量空间逐步收窄。

8、森保一：日本队要夺冠 安切洛蒂却只说了2件事

三个平台大致覆盖了从宽松到严格的加固谱系： OpenClaw是参考实现；NemoClaw在其上增加了用户级的进程隔离； SeClaw则是一个安全优先的变体，号称部署了十一项系统级防御中的八项。

但这天早上，这只「怪物」的表现忽然垮了下来，只剩8分。

超维动力负责比如运动控制、环境理解、任务编排这些最硬核的基础能力，应用开发交给第三方。

9、乒乓活力燃动滨城 二○二六赛季中国乒乓球俱乐部超级联赛常规赛第一阶段在大连火热开赛

它不只给你看 还给你一个能按的按钮 Artifact不是普通的文本输出，它是Claude Code把整段工作过程，直接转换成一个能交互的网页。

新智元报道 一段3分钟的AI短片，炸了。

10、试运行！太原-晋中开通快速公交线路

从神经科学到知识论 可解释性的进路之辨 「解释的本质，不在于凝视机器本身，而在于审视机器所凝视的世界」。

这就是所谓的「异构混合推理」。

1、乒乓球友交流：一次惨败后，我意外地又进阶了，每次进阶都很清晰

无数数学家发表了大量声称证明了该猜想的论文，但无一例外，都被发现逻辑中有瑕疵。

2、成贵、成自宜、成雅铁路上线次票，跨城出行更加省心划算

第三场：让机器人在梦里摔一万次 真机太贵，能不能让机器人「在梦里练」？ 摔一万次不砸真杯子，复制几千个厨房不租真房子。

3、总决赛形势迎来巨变！王博G4弃用一人收获奇效，4场仅拿9分太拉胯

Gemini两个都没选。给自己出难题？皇马百分百决定求购罗德里 若加盟金球奖支持谁这件事当时震动了整个数学圈。

4、巴萨官宣签下多特边锋阿德耶米 固定转会费2200万欧签约至2031年

他们在自有的8台8卡昇腾服务器上，塞进了讯飞星火、DeepSeek、Qwen等一众模型，承载内部多个AI应用。

5、【CBA联赛】第十七轮｜浙江稠州金租90-92憾负深圳马可波罗

就像安卓不造手机，但可以让所有手机都能跑同一套系统。

6、外线失准，客场失利！青岛崂山啤酒70-87不敌北京北汽

剩下的路，让它自己闯。

究其本质，当前 AI 科研的核心短板，并非知识储备不足，而是极度缺乏真实科研场景的失败样本与负反馈。

企业必须拥有一个描述业务对象、关系、状态和行动的语义层。

7、阿森纳官方：萨利巴背伤将长期缺阵，无需手术但需康复

有趣的是，乙游的用户，是出了名不好糊弄的一群人——她们对角色颜值、情绪张力、叙事节奏近乎苛刻。

但AI提出了一个非常有价值的见解，帮助他解决了这个卡了半年的问题。

8、官方：佛山南狮vs无锡吴钩调整到佛山世纪莲体育中心进行

但在长上下文检索、专业软件工程和部分知识推理评测中，Opus仍保持领先。

绝招亮完，战场却各画各的：智元盯着数据、表征、闭环三道墙，PI说墙是上下文，Dyna说是可靠性，清华说是机器人自救。

在制作前，灵犀会调用记忆系统，给你推荐几种你喜欢的风格。

谁先让所有人习惯用「干成多少活」来算账，谁就重新定义了这个市场怎么比。