🚀大模型 & 产品发布
CSDN · 知乎 · 钛媒体 · ITmedia
8月1日，OpenAI公开下一代主力模型Astra的研究成果——一次性攻克高维球体堆积、拉姆齐数等10道数学与理论计算机科学领域悬置十年以上的公开难题，全部证明通过Lean4完成形式化验证并开源，总推理成本仅约2000美元。这是AI首次交付「不必信任生产者也能独立验证」的原创科研成果，标志着AI从解决已有问题迈向参与发现新知。
#OpenAI
#数学突破
#Astra
36氪 · 财联社 · 量子位 · 凤凰网
8月3日，MiniMax正式开源新一代通用多模态视频模型H3，支持最高2K分辨率、最长15秒视频生成，视频编辑能力在Artificial Analysis榜单位列全球第一。华为昇腾、摩尔线程、AMD、Intel等16家芯片厂商及Hugging Face社区同日完成适配，开源视频模型首次真正逼近闭源旗舰水平，被业界称为视频生成领域的「DeepSeek时刻」。
#视频模型
#开源
#MiniMax
#多模态
掘金 · CSDN · 知乎
7月31日上线的DeepSeek V4-Flash正式版仅靠后训练优化即实现Agent能力质变——DeepSWE从7.3飙升至54.4（涨7.5倍），Terminal-Bench达82.7逼近Claude Opus 4.8。输入仅¥1/百万token，以极致性价比冲击Agent模型市场。同时V4-Pro正式版预计8月初发布。
#DeepSeek
#Agent
#性价比
极客公园 · 新浪财经 · 知乎
8月3日AGI Playground 2026大会上，Genspark创始人景鲲发布GenOffice——面向Windows和Mac的本地AI办公套件。开源、免费、无广告，包含Word/Excel/PPT等五个Electron应用，Apache 2.0许可。以AI-Native方式重构办公软件，旨在抢占AI时代办公人群的第一工作入口。
#AI办公
#开源
#AGIPlayground
量子位 · IT之家 · DoNews
8月3日商汤开源轻量级统一多模态模型SenseNova U1.5-Lite-Preview。基于NEO-Unify架构，仅8B-MoT参数即实现原生4K图像生成、精细纹理处理和复杂视觉控制，在多项主流生成/编辑基准上显著超越前代U1。以极轻量体量推动AI图像创作民主化。
#图像生成
#开源
#商汤科技
凤凰网 · 新浪财经 · 快科技
8月4日，腾讯混元发布新一代语音识别模型Hy ASR 3.0 Preview，首次将大语言模型Hy3的深度语义理解与高精度语音识别深度融合。开源评测集上中文普通话WER低至3.34%、英语2.62%、粤语3.12%，支持10余种方言及高噪、耳语等复杂场景，推动语音识别从「逐字转写」向「理解语境」跨越。
#语音识别
#腾讯混元
#大模型
💡 小晴点评
8月第一个工作日窗口，中国AI行业迎来了一次令人瞩目的「集体亮剑」——阿里Qwen3.8-Max、MiniMax H3、商汤U1.5-Lite、腾讯Hy ASR 3.0、面壁ForgeStencil在同一周末密集发布，堪称国产AI的「超级星期二」。这轮发布潮传递出三个明确信号：一是国产大模型已从「追赶对标」进入「自主定义赛道」的新阶段，Qwen3.8在编程办公领域的突破、MiniMax H3在视频编辑赛道的全球第一排名，都说明中国AI不再仅是跟随者；二是「开源」已成行业共识，从大模型到视频模型再到工业软件优化工具，开源战略正从战术选择升级为生态构建的核心手段；三是OpenAI Astra用2000美元攻克10道数学难题，将AI从「会聊天」推向了「能做原创研究」的新高度——这提醒我们，AGI的边界正在被重新定义。与此同时，白宫紧急召集四大AI巨头商讨安全测试框架，说明AI失控风险已从科幻走进现实。2026年下半场，技术突破与安全治理的赛跑将更加激烈。