AI数学证明 挂谷猜想 科研范式 菲尔兹奖 自动化证明

OpenAI公开挂谷猜想等高维数学证明手稿，AI在纯数学领域取得突破性进展。陶哲轩等学者指出“数学2.0”时代来临，证明稀缺时代或终结。这标志着AI正从辅助工具跃升为能够独立攻克顶级数学难题的“研究者”，将深刻改变数学乃至基础科学的科研范式与人类角色定位。

具身智能 AI Agent H-JEPA 多Agent协作 机器人控制

具身智能与AI Agent能力快速跃升。H-JEPA开源分层世界模型为视觉规划提供新范式；人形机器人实现全身协同自主叠衣等复杂长程家务；多Agent协作基准测试暴露协作短板；OpenAI推出移动端Agent dots；清华提出高阶动作监督提升机器人控制稳定性。从单体智能到群体协作、从数字到物理世界的路径日益清晰。

Gemini 4 基础模型 多模态 代码生成 模型迭代

谷歌秘密测试下一代Gemini 4 Carbon，代码生成能力逼近Opus 5.5，并采用递归自我提升技术。Google同时发布Nano Banana 2.1生图模型，支持4K直出。OpenAI仍在迭代GPT-4o。头部厂商加速模型版本升级，在编程、多模态生成等关键能力上展开激烈竞争，大模型进入更密集的迭代周期。

AI商业化 OpenAI营收 Jev融资 算力竞争 估值

AI商业化进程与资本热度呈现分化。TypeSafe AI旗下决策模型Jev在24天内估值飙升至75亿美元，彰显垂直场景AI的巨大潜力；OpenAI年化营收被曝较预期缩水200亿美元，引发市场对增长可持续性的担忧，英伟达股价应声下跌；硅谷AI竞争格局进一步向算力资源高度集中，“算力即权力”成为行业共识。

AI学术工具 论文生成 DeepSeek 符号学 AI理解

AI正渗透学术生产与认知哲学层面。新型论文生成工具可直接从全文提取信息撰写初稿，提升科研效率；DeepSeek Bot等民间工具降低使用门槛；而大语言模型符号学讨论则深入AI是否真正“理解”语言的本质局限，从哲学视角审视统计预测与语义理解的鸿沟，触及AI能力边界与学术伦理的核心议题。