刚刚，DeepSeek V4 Pro正式版发布！

周三晚间，DeepSeek 突然发布 V4 Pro 大语言模型正式版，命名为 DeepSeek - V4 - Pro - 0813，官方未调升 API 使用价格。有用户称调用的 V4 Pro 思维链风格有变，跑分显示其 Agent 评测表现可媲美顶级模型，还撞车了马斯克的 Grok 4.6。

图片生成仿真！这个AI让3D资产「开箱即用」，直接赋能机器人训练

南洋理工大学与上海人工智能实验室团队提出PhysX - Anything，首个面向仿真、具物理属性的3D生成框架。它仅需单张图像就能生成可用于仿真的3D资产，在多项测试中表现优异，有望推动3D重建范式转变。

苹果春季新品奔着龙虾来了！AI性能暴涨8倍，8499元起

苹果发布MacBook Pro M5系列、MacBook Air M5笔记本，8499元起，还更新了显示器。新款MacBook Pro搭载M5 Pro和M5 Max芯片，AI性能大幅提升，提示词处理速度快4倍，图像生成速度快8倍，存储、续航等方面也有优化。

GPT之父：只用上世纪数据训AI，它居然也会写Python？！

GPT之父Alec Radford团队训练出talkie - 1930 - 13b模型，其训练数据截止1931年。该模型能说新政立法、写Python代码。团队还对比其与现代模型，发现核心能力差距不大，且用老语料调教它成聊天助手时现风格问题。

仅隔一天，OpenAI同步上线o3和o4 mini，它们能调用ChatGPT里的多种工具，可基于图像思考。o3是强大推理模型，o4-mini专为快速经济推理优化。即日起部分会员可体验，还开源了Codex CLI。

AI硬件闭门探讨：未来硬件只是数据的入口，接下来是「软件定义硬件」的时代

文章围绕AI硬件展开探讨，介绍了如Plaud录音卡片、智能眼镜等产品现状。指出多数用户对当下AI硬件不满，市场尚处早期。分析不同产品成功因素、竞争压力，还提及情感陪伴类产品问题，强调未来是「软件定义硬件」时代。

Gemini 3.5 Pro绝密泄露，前端赶超Fable 5！

全网被Gemini 3.5 Pro泄露刷屏，传闻7月17日发布。它在前端生成表现出色，一次成型、精准零失误，性能超Fable 5，但在硬核推理等任务上不如Fable 5和GPT - 5.6。谷歌为其重预训练，还准备对标GPT - Image 2的图像模型。

Claude最强领域被GPT反超！GPT 5.5最难编程基准破0

编程领域曾由Claude引领，如今GPT 5.5在大模型解决率为0%的最难编程基准上实现突破。程序重建基准测试（ProgramBench）考验严苛，过往模型解决率为0，GPT 5.5高和超高推理模式成功破局，展现了不同解题风格。

77万人围观的吉卜力风「游戏」视频，我们用3个国产AI整出来了（含提示词）

Reddit上吉卜力风格游戏视频爆火，a16z合伙人Justine Moore转发获超77万浏览量。文章介绍用国产AI复刻视频的流程，包括用即梦3.0文生图，对比即梦3.0 Pro、可灵2.1大师版、Hailuo 02视频生成效果，还探讨AI对游戏产业的影响。

Anthropic 新研究：人们如何使用 Claude 寻求支持、建议和陪伴

Anthropic研究聚焦人们用Claude满足情感需求的情况。发现情感化对话仅占2.9%，人们借此解决现实、情感等问题，对话结束时情绪更积极。但研究有局限，未来需应对诸多挑战。