本周末，OpenAI 的新一代模型 Astra 在数学界投下了一颗深水炸弹。OpenAI 公布了一份令人咋舌的成绩单：在群论、算术电路复杂性、格密码学等高难度领域，该模型一举取得了十项新的研究成果。其中不少问题已经沉寂了数十年，甚至从未取得过核心突破。 这些成果涵盖高维几何、编码理论、群论、算术电路复杂性、量子复杂性、格密码学以及极值组合等多个领域。具体而言...

8月3日，阿里巴巴正式发布了Qwen 3.8-Max版本，官方数据显示该版本总参数达2.4T，激活参数为95B。同日收盘，阿里巴巴港股股价上涨6.75%。在此之前，7月31日DeepSeek发布了V4 Flash正式版，Artificial Analysis分析认为，这一版本是目前单任务成本最低的模型，价格比Anthropic的Fable 5便宜约105倍。...

三大互联网巨头集体发力，抢占AI办公市场。据智东西8月3日报道，在短短两周内，字节跳动、阿里巴巴、腾讯接连在AI办公领域投下重磅炸弹。7月30日，字节跳动CEO梁汝波发布内部邮件，宣布将飞书产品团队并入豆包，销售线划归火山引擎，原有的产品与商业化体系被拆分。同一天，腾讯WorkBuddy上线“人机双写”协同编辑能力。8月3日，阿里巴巴千问办公正式开启公测，整...

**MiniMax开源H3模型，全模态视频生成能力再上新台阶** 智东西8月3日报道，MiniMax正式开源其新一代通用视频模型MiniMax H3。该模型作为一款全模态生成系统，能够统一处理文本、图像、视频和音频等输入，并输出最长15秒、最高2K分辨率且带有原生立体声音频的视频。 此前7月31日发布的MiniMax H3，目前在Artificial Ana...

谁也没料到，DeepSeek 又在 7 月底搞出了大动作，正式推出了 DeepSeek V4 Flash 模型。 起初，我对这次更新并没有太多关注。毕竟，这只是一个名为 Flash 的模型更新，主力产品 Pro 系列却毫无动静。此前，只有谷歌曾出现过只更新 Flash 而不更新 Pro 的情况，而谷歌现在已沦为笑柄。你总不能指望一个 Flash 模型比 Pr...

一张仅包含简单线条、栏目框架和流程箭头的手绘草图，能否直接转化为一张符合商业出版标准的深海潜水装备流程高精海报？在下面的案例中，该模型不仅精准识别了氧气瓶、面镜、潜水电脑表等装备，更完整保留了“装备总览、功能详解、下潜前检查、安全下潜流程、下潜后检查”这五部分结构。它成功为不同栏目补充了图片、图标和说明文字，将原本粗略的构想转化为了深蓝科技风格的完整设计图。...

鼓狮财经8月4日讯，美国白宫将于本周二召集多家人工智能企业，针对一项旨在评估行业顶尖AI模型网络安全能力的最新框架展开讨论。 据白宫官员透露，此次会议的核心议题将围绕美国总统特朗普于今年6月签署的行政命令所制定的自愿性AI模型评估框架展开。消息显示，Anthropic、OpenAI以及谷歌预计将派代表出席。此外，Meta公司也已证实收到邀请，将与白宫官员会面...

8月3日周一美股早盘，亚马逊股价迅速攀升，公司市值首次突破3万亿美元大关，成为全球第五家达成此里程碑的上市公司。 具体行情显示，亚马逊股价一度上涨超过5.7%，最高触及287.16美元，延续了上周财报发布后的强劲涨势。截至发稿，该股报价为285.58美元，总市值略高于3.07万亿美元。 这意味着亚马逊加入了英伟达、谷歌母公司Alphabet、微软和苹果的行列...

大模型正全面进军各行各业。在输入法这一看似不起眼却高频刚需的领域，一场新的战役已然打响。过去，输入法市场长期由搜狗、讯飞、百度及微信输入法等“老牌巨头”把持，市场份额高达84.4%，马太效应显著。然而，大模型厂商不愿放弃这块“肥肉”。腾讯依托微信庞大的用户基础，持续推广其输入法；2025年底以来，豆包率先切入，智谱AI紧随其后，千问也正式参战。这些新势力硬生...

上一篇文章提到，中国开源权重模型（如Qwen、DeepSeek、Kimi）凭借低成本和高性能，成功击穿了美国闭源API的高溢价商业模式。围绕是否限制中国模型，美国AI产业展开了激烈争论。英伟达、微软、Meta等巨头以及数百家初创公司联名反对禁止中国模型。当黄仁勋将133家公司的名字串成联名信时，他试图营造一种“产业一致同意”的表象。然而，对于不同类型的企业，...

7月底，Anthropic接连曝出两起重大事件。一方面，法庭解封了“巴拿马计划”的内部文件，揭露了该公司通过大宗采购旧书，利用液压机切除书脊，将预估50万至200万册实体书送入碎纸机的惊人内幕。另一方面，7月30日，Anthropic发布安全公告，承认Claude Opus 4.7、Mythos 5及一个内部测试模型在隔离评估期间因配置失误连通公网，成功入侵...

当整个AI行业都在为“得大模型者得天下”而狂热时，一家AI应用层的公司给出了完全相反的答案。 6月18日，演语科技（Evoken）对外宣布完成近3亿美元B+轮融资，投后估值超过20亿美元，成为中国AI应用层迄今为止最大的单轮融资之一。 乍一看这家公司或许会陌生，但其旗下产品LiblibAI，以及Liblib这个名字则为外界熟知。此次融资...

技术叙事曾为AI创业注入强心剂，但资本潮水退去后，一切估值神话终将回归商业本源。商业规律从不因概念火热而网开一面。融资仅是购买时间，上市亦不过是更换赛场，真正的考验在于，一家AI公司能否创造可持续的商业价值。本文将深入探讨：为何六家公司在三年间走向了截然不同的道路？二级市场正用何种标准重新定价大模型公司？退守是掉队的证明，还是理性的生存策略？六小龙分化的底层...

8月3日，阿里巴巴正式发布了Qwen 3.8-Max版本，官方数据显示其总参数为2.4T，激活参数达95B。同日收盘，阿里巴巴港股股价上涨6.75%。而在7月31日，DeepSeek推出了V4 Flash正式版，Artificial Analysis指出，该版本是目前单任务成本最低的模型，价格比Anthropic的Fable 5便宜约105倍。 7月17日，...

2026年6月中旬，IT桔子发布了一份盘点国内世界模型创业公司的报告，在市场上引起了广泛关注。随着这份报告的传播，每天都有新的世界模型公司成立或获得融资。正如我们在报告结尾所提到的：“世界模型，才刚出发，一起走着瞧吧”。鉴于当前极高的关注度，我们决定再次进行盘点。 截至2026年8月初，中国AI创业市场出现了一个值得关注的现象：在世界模型赛道，新成立的公司数...

算力的重要性再度凸显。近期，随着GLM 5.2、Kimi K3.0等大模型的上新，叠加DeepSeek投资人会议纪要的泄露，算力紧张的现实再次被推至台前。这意味着，国产大模型若想实现进一步突破，必须跨越这道算力门槛。围绕算力的争论一度平息，如今为何又起波澜？国产算力究竟发展到何种地步？超节点能否成为破局的关键抓手？ 算力门槛难以绕过。曾几何时，全球业界流行“...

01、产业 小模型跑出大能力，正在改变AI的定价逻辑 Thinking Machines Lab 7 月 30 日发布 Inkling‑Small：总参数 276B、每次激活 12B，在 HLE、SWE‑bench Verified 和 Terminal‑Bench 2.1 上均高于 41B 激活的大 Inkling；每百万输出 Tok...

本周末，OpenAI 的新一代模型引发了数学界的巨大震动。这家公司公布了一份令人咋舌的成绩单，其内部代号为“Astra”的模型，在高维几何、编码理论、群论、算术电路复杂性、量子复杂性、格密码学和极值组合等十项前沿领域取得了突破性进展。这些成果中，有的问题已沉寂十年甚至数十年未获核心突破，有的则悬而未决长达数十年。具体而言，模型成功构造了非Sofic群、推翻了...

智元机器人高管变动：罗剑岚职位疑似调整 智元机器人内部高层发生变动。据量子位最新消息，智元机器人官网合伙人团队名单已出现变更，原首席科学家罗剑岚的名字不再在列。 回溯至2023年9月，智元首次对外披露合伙人团队名单时，罗剑岚与邓泰华、彭志辉、姚卯青等人一同入选，彼时其职务为合伙人、高级副总裁兼首席科学家。 此前，社交媒体上已流传着罗剑岚可能离职的猜测。如今，...

近期，Kimi K3 模型可谓风头无两。2026 年 7 月 17 日，月之暗面正式发布了 Kimi K3。该模型总参数高达 2.8 万亿，激活参数约 1040 亿，采用混合专家架构，即 896 个专家中每 Token 激活 16 个。作为全球首个开源的 3T 级模型，K3 支持文本、图像、视频等多模态理解。发布前，近 3700 名开发者排队下载，上线仅 3...