离职特斯拉“隐身”14个月，杨硕创业终于亮牌：重新定义机器人训练范式

杨硕从特斯拉擎天柱团队离职创业一年多后，妙动科技团队带来新论文《DiT4DiT: Jointly Modeling Video Dynamics and Actions for Generalizable Robot Control》。该团队用视频训练机器人动作，提出DiT4DiT模型，解决VLA模型不懂物理问题，在人形机器人上有新突破。

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

谷歌AI获IMO“唯一金牌”，硅谷夹道祝贺，奥特曼丢人又丢人

谷歌Gemini新模型获IMO官方认证金牌，用时4.5小时答对5道题，成绩获主席肯定。该进阶版搭载新思考模式，后续开放给订阅用户。这与OpenAI参赛情况形成鲜明对比，OpenAI遭质疑，研究员回应未获网友完全认可。

AI看病成为医患新包袱？补上「多轮追问」，通用AI才迈得过医疗关

如今患者依赖AI问诊加重医患沟通负担。百川智能推出的Baichuan - M4对通用大模型做结构性重构与医疗专项增强。M4在能力结构上升级，其C端产品百小医能与患者深度建联，有望构建医疗健康新生态。

当国产模型追上闭源旗舰，企业 AI 编程的真正障碍才浮出水面

过去企业AI Coding讨论多集中在模型能力等方面，DeepSeek V4出现缓解了模型问题，但更深层的代码库业务隐知识等问题浮现。合规限制使企业工具建设受阻，V4打破了模型供应瓶颈，可组织知识管理仍成难题。

DeepSeek-R2尚未问世，微软小模型捡漏称王？6000样本炼出「数学作弊器」！

微软推出Phi-4推理模型系列，参数最多14B，能在本地高性能笔记本电脑上流畅运行。Phi-4-mini-reasoning在数学推理上性能超越DeepSeek-R1蒸馏模型，且参数规模更小。文章还介绍了模型特点、训练方法、性能表现及局限性等。

AI 味的原因找到了，都是 NTJ 惹的祸

作者因常被说说话像AI，好奇大模型MBTI类型。实验发现Claude - 4、Gemini - 2.5 - pro、GPT - 4为INTJ，DeepSeek是ENTJ。分析了大模型呈现NTJ特质的原因、AI味根源，还给出让大模型有情感的思路和使用技巧。

无需NeRF/高斯点后处理，视频秒变游戏模型成现实！新方法平均每帧仅需60秒 | ICCV 2025

KAUST团队提出全新方法V2M4，能从单目视频直接生成高质量、显式的4D网格动画资源。该方法构建多阶段流程，涵盖相机轨迹恢复等关键步骤，平均每帧约60秒，比现有方法显著提速，论文已被ICCV 2025接收。

阿里一口气发了N款新模型，让我们向源神致敬。

阿里云栖大会发布众多模型，有Qwen3 - Max、Wan2.5等。Qwen3 - Max对标顶尖模型；Wan2.5支持音画同出；Qwen3 - VL是强大视觉语言模型且已开源；Qwen3 - Omni是全模态模型。此外还有多个新模型，构建全场景生态。

GPT-5两周内发布，内测猛料流出？GPT-6或已开始训练，奥特曼剧透百万GPU

有爆料称GPT-5将在两周内发布，是多模型组成的系统，含「路由器」，GPT-6已在训练。奥特曼称年底将增超百万GPU，有人看好GPT-5，也有人认为它可能只是路由器。此外，OpenAI有十名员工拒小扎3亿天价offer。