🔥 今日头条：OpenAI 宣称内部模型解决 Navier-Stokes 千禧年难题，学术界爆发争议
科技圈今天炸了锅！OpenAI 重磅宣布其下一代模型（基于比 GPT-6 Astra 更强的技术）成功破解了数学界的“千禧年难题”——纳维-斯托克斯方程（Navier-Stokes），并给出了 Lean 形式化证明。然而，这一划时代宣称迅速遭到多方学术质疑，部分学者指出其数据访问和成果独立性存疑。无论如何，AI 正在加速向人类智力最核心的数学堡垒发起总攻，这场科学与资本的碰撞才刚刚拉开序幕。
🚀 行业速递 Top 10
- Meta 正式发布个人 AI 智能体 Muse，直面挑战 OpenClaw
Meta 推出全新个人 AI Agent“Muse”，运行在安全虚拟机中，主打隐私保护且不拿用户数据做广告。它能帮你处理从卖车、订机票到串联 Gmail、日历等各种日常繁琐事务。
- OpenAI 图像模型 GPT-Image-2.5 惊艳登顶 Arena 多个榜单
OpenAI 发布的 GPT-Image-2.5（Sunburst 与 Flare）在 Arena 的 Text-to-Image、Image Edit 以及 Multi-Image Edit 三个核心图像榜单中包揽前两名，让时尚设计和图像生成效果迎来质的飞跃。
- Sam Altman 晒 Astra 机器人实景作画视频，引发惊叹
Sam Altman 分享了 Astra 机器人通过自主摸索、结合相机与画笔实地绘制金门大桥的延时摄影。AI 与具身智能的结合正在现实物理世界展现出惊人的学习与执行能力。
- vLLM 正式支持 DSpark 推测解码与流水线并行协同
针对大模型单机无法容纳权重的痛点，vLLM 现已支持 DSpark 推测解码与流水线并行（Pipeline Parallelism）协同工作，这一更新由 Kimi K3 等超大参数模型的落地需求直接推动。
- 大语言模型在自适应探索中呈现全新社会偏见
最新 OpenReview 研究指出，随着大模型进行深度的自适应探索与自主演化，它们在交互中会逐渐衍生出意料之外的全新社会偏见，给 AI 治理与对齐提出了新的挑战。
- AI 视频业务营收占比极低，龙版传媒股价一周狂飙逾 93%
尽管相关 AI 视频业务营收占比不足 0.01%，龙版传媒仍因“AI 概念”遭到市场疯炒，一周内股价暴涨超 93%，并因信息披露前后不一致遭上交所监管警示，提醒投资者警惕概念炒作泡沫。
- 陶哲轩谈 AI 正在“非再生式开采”开放数学难题
知名数学家陶哲轩在社交媒体发声，探讨了当前 AI 算力对人类开放数学问题的快速消耗与挖掘现象，引发科技与数学界对知识资源可持续性的深度思考。
- 开源大模型与边缘计算：Kimi K3 (2.8T) 实现 MacBook Pro 流畅运行
开发者展示了在 MacBook Pro 上通过四个 SSD 流式传输，以 1 token/s 的速度运行超大参数量的 Kimi K3 模型，标志着消费级硬件运行超大规模 AI 迈出极具极客精神的一步。
- Harness 工程成当前 AI 顶尖热门技能，顶级论文合集发布
随着智能体和复杂系统工程的普及，Harness 工程被誉为当前最顶级的硬核技能。相关社区已将 YC Paper Club 演讲中的高质量论文列表整理成公开合集供开发者学习。
- Show HN: LLM Attention Visualization 带来直观的大模型注意力可视化
开发者推出全新的大模型注意力机制可视化工具（LLM Attention Visualization），能帮助工程师和研究人员更直观地洞察 Transformer 架构在处理文本时的内部关注焦点。
