中国数学从改革开放以来不断进步，通过几代人的努力，从刚开始距离国际水平很远，到现在接近了很多。

1、开云官方app Palantir的技术壁垒最难跨越的一点是时间维度上的积累。

目前，小红书上的球迷圈子数量已达到1390个，加入人数突破1000万。开云官方app生命科学领域，西门子Dotmatics利用AI技术对基因、分子、细胞等数据进行整合、分析，同时结合数字孪生，辅助研发人员快速验证配方工艺，有望将整体实验周期缩短约30%，前期研发投入降低约20%。

2、TVCC“一日店长” 总台主持人伴您清凉一夏

不止一位具身智能从业者坦言，他们当下已经不太关注榜单排名了，因为榜单能刷、能买，即便一切合规，物理环境的复杂性也让数据很难做到百分百准确。

3、深度：大巴黎在没有了超级球星后为何更强了？

” 至于该航班在迪拜起飞前延误5小时，以及备降杭州后无法再度起飞的情况，有旅客表示希望航空公司给予赔偿。

4、Here We Go！曼联中场拼图终现，蒂莱曼斯4100万欧登陆老特拉福德

不过，随着AI生成数据和自动化训练技术不断发展，Mercor能否从人工驱动的数据服务商成长为更大规模的AI训练基础设施平台，仍需要时间验证。

5、工信部典型案例名单公布，株洲2个入选！

她最终看中一台95新、512GB、电池健康度95%的iPhone 17 Pro Max，她告诉「定焦One」，原本只想先看看，但“商品很新、价格也很香，还能直接把自己旧手机以旧换新抵扣”。

因此，为集中重点业务，亚马逊裁撤AGI部门内部分岗位，但该公司会继续投入对客户未来最重要的核心AI领域。

垂类大模型展品覆盖各行各业，比如海康威视面向智能物联行业的观澜大模型、歌歌AI的音乐大模型、中科闻歌的决策大模型、中国石油的昆仑大模型、国家管网的管网工业世界模型、卡奥斯的工业大模型、国泰海通的可信可控大模型、耀速科技的3D人源类器官模型等，中国铁塔也展出多个细分行业大模型。

6、连签2将！国安冯博轩后，大连又引进泰山中场，山东夏窗只出不进

相比冲突初期，全球能源市场如今能够动用的缓冲空间也在缩小。

去年是150台人形同台，卷的是后空翻、做咖啡这类炫技动作，今年各家的demo从炫技换成了做早餐、打蝴蝶结、进汽车产线这类更杂、更难也更贴近真实场景的任务，机器人的形态也从单一的人形变得更加丰富。

7、“积木之旅”从登上列车开始！全国首列上海乐高乐园主题列车启程

模型在细粒度标签控制、freestyle指令遵循、多语种与方言覆盖以及复杂声学鲁棒性等方面实现系统性提升。

▲从左至右：Steven Hao、Scott Wu、Walden Yan（图源：彭博社） 目前，Cognition联合创始人兼CEOSteven Hao的资产净值达到13亿美元（约合人民币88亿元）。

8、皇马更衣室陷入全面内战：从掌掴到血战，一场无硝烟的赛季闹剧！

智东西 作者 ZeR0 编辑 漠影 智东西7月19日报道，在世界人工智能大会WAIC 2026期间，穹彻智能展示了从真实世界数据、模型训练到机器人应用的完整技术体系。

面对舆论猜测，智元机器人明确表示：未来36个月内不存在通过上市公司借壳上市的计划或安排。

有一天，妻子将孩子放在床上，自己到厨房张罗午饭，结果不到十分钟回来，就发现姐姐不见了。

9、长期运动和不运动的人，到底差在哪？研究发现：肌肉衰老差了整整一倍

公司根据客户场景需求，进行语音文本、图像视频等采集，并借助自研一体化数据平台进行不同颗粒度的标注，帮助客户搭建识别效果更精准的大数据模型，为全球人工智能企业及科研算法机构提供优质训练数据服务。

二、从代码开发到知识创作，Kimi K3展现复杂任务执行能力 在编程领域，Kimi K3不仅能够理解大型代码库、调用终端工具，持续完成长时间的软件开发任务，还能参与GPU内核优化、编译器开发、芯片设计等高复杂度工程工作，并结合视觉理解能力完成游戏开发、前端设计等多模态编程任务。

10、美加墨世界杯明晨收官！最后一场见证卫冕或传承！

三、拓展客户、布局强化学习环境，Mercor寻找下一增长曲线 为了降低对基础模型公司的依赖，Mercor正在扩大客户范围。

三、Frozen v2并非取代TPU，谷歌先将其作为技术试验 虽然Frozen v2受到关注，但知情人士透露，谷歌并没有计划用它替代TPU。

1、两部门就离岸信托个人所得税有关事项答记者问

阶跃的AI终端接入阿宝，用户可通过自然语言调用阿宝完成跨应用办事；华为体脂秤与阿福打通，实现健康数据协同。

2、这是来搞笑的吧？中国火箭成功回收第2天，日本也回收火箭

” 三、PPIO：从“基础设施”到“Agentic Cloud”的进化 智能Token工厂不是凭空出现的。

3、我在文明实践站过大暑（一）

芯片可以解决单节点、单硬件层面的性能瓶颈，但其落地万卡规模集群时，将直面更复杂的系统性工程挑战。瞿颖：别催了，不想太红对于无法离开这里的它们而言，破损的水池仍是它们日复一日生活的全部世界。

4、“科普中原说”第102期活动在焦作举行 张新友院士作专题科普报告

在这些已经实现高度自动化的成熟产线上，经由海量工业数据训练出的工业大模型，足以在生产的某个环节发挥作用，帮助企业持续提升生产效率，但工业AI不可能永远停留在“帮忙”这一步。

5、欣旺达：子公司欣旺达动力拟引入阳光电源等战略投资者增资8.05亿元

CodeMender会同时运行多个3.5 Flash Cyber Agent，最后将不同Agent的分析结果合并成一份报告。

6、英国公开赛：赫伯特追平纪录半程领跑 舍夫勒T8李昊桐淘汰

但这款手机真正的发布时间要等到10月下旬。

种种迹象表明，下一代入口争夺的对象正在发生变化。

目前，算电协同Agent已在商汤临港AIDC全面落地，实现单位电力成本Token产出提升80%、平均电费单价低于同地区IDC10%、算力负荷预测准确率达到96%，全年预估可实现碳减排24000吨/每万P，推动AIDC从传统能源管理迈向系统级算效优化，并依托商汤大装置FDE专家体系标准化交付流程，最快一周即可完成部署上线。

7、“这件衣服”今年夏天越来越流行！简单穿就很好看

命案发案降至历史最低位。

在今年的GTC大会上，英伟达创始人、CEO黄仁勋公开提到，英伟达基于极致的协同设计，下一代Rubin+LPX方案在每兆瓦的tokens吞吐上相比Blackwell提升2倍以上，尤其在高价值的低延迟场景，提升更是高达35倍，从而在全球获得了最低的TCO token成本。

8、未来台风路径预判、城市内涝预警、电网防灾调度，都可能因为星上AI预报而变得更准、更快

本届大会以“智能伙伴，共创未来”为主题，汇聚全球人工智能领域最新技术成果与产业实践。

顺应消费升级需求，促进绿色、智能、健康等产品消费。

值得关注的是其“金融级”的起点与安全能力，其Agentar平台是国内首个获得中国信通院最高评级（5级）的金融级智能体平台产品，并将区块链与AI结合，在委托授权、商业交互、支付服务等关键领域提供服务，将商业智能体的可信边界从单一企业延伸到跨机构协作。

当大模型开始大步迈向物理世界，我们需要什么样新的产业标准？当“多模态”从大模型发展的分支变为核心基础设施，全球首屈一指的物联感知巨头如何卡位？这又将如何影响产业格局和行业发展方向？ 通过对海康WAIC展区的实地探访和相关负责人的深度对话，我们试图对这些问题进行深入探讨。