菲尔兹奖得主邓煜谈 AI：已能帮助数学证明，但不能替代独立思考

7 月 24 日，2026 年菲尔兹奖得主、芝加哥大学教授邓煜近日在接受采访时透露，他在数学研究中会使用 AI 辅助工具，GPT 曾帮助解决一个连续几天未能突破的数学特例。

亚马逊升级 Alexa+ AI 助手，可完成购物、餐厅预订、叫车等任务

亚马逊官方今日宣布升级 Alexa+ AI 助手，Alexa+ 支持自然对话、信息记忆和任务执行。

ServiceNow 首席执行官：我家平台设有终止开关，AI 模型不会失控越狱

Bill McDermott 并不认为人工智能的快速普及会削弱 ServiceNow 的竞争地位，其控制系统可助力客户“从 AI 混乱走向 AI 纪律”。

Token 调用量涨 6 倍！华为：运力成 AI 算力最大瓶颈，不该执着单芯片制程

华为指出，随着大模型进入商用，AI 算力瓶颈已从芯片本身转向“运力”。过去半年 Token 调用量激增 6 倍，远超行业适配速度。华为提出通过“网算存”一体化协同，将“高速公···

我国成功发射两颗 AI 卫星：一颗能自己管自己，一颗在天上做气象预报

力箭一号遥十五运载火箭今日在东风商业航天创新试验区成功发射，以“一箭 5 星”方式将 5 颗卫星送入预定轨道。

宇树科技 CEO 王兴兴登上《时代》杂志封面，近 2.7 米高的 GD01 载人机甲几乎占满画面

宇树科技 CEO 王兴兴与近 2.7 米高的 GD01 载人机甲共同登上《时代》杂志封面，标志着机器人时代来临。GD01 是全球首款量产载人机甲，可双足或四足行走。王兴兴认为，未来 ···

Runway Media Router 上线：根据场景切换 AI 模型，帮你省 Token

Runway 公司昨日（7 月 23 日）发布博文，宣布推出 Runway Media Router，在生成图像、视频、音频时根据使用场景灵活切换所用 AI 模型。

阿里开源 0.8B 文档解析模型 OvisOCR2，端到端模型首次超越流水线方法

阿里云开源 OvisOCR2，仅 0.8B 参数，在 OmniDocBench v1.6 上以 96.58 分登顶，首次证明端到端模型可超越传统流水线方法，大幅降低部署复杂度。无缝融入千问生态，为 RAG、···

FLUX 3 多模态 AI 模型登场：支持单次生成 20 秒多样化视频

Black Forest Labs 昨日（7 月 23 日）发布博文，宣布以 Early Access 方式，上线推出 Flux 3 多模态基础模型，采用统一架构联合学习图像、视频和音频。

消息称小鹏人形机器人正小批量试生产，量产产线进入最后联调阶段

7 月 24 日下午消息，新浪科技独家获悉，小鹏人形机器人已在广州工厂正式开启小批量试生产，同时量产产线进入最后联调阶段，量产冲刺正式进入倒计时。