AI日报 |阿里巴巴Qwen3.8发布在即；OpenAI Astra模型破解十大数学难题；月之暗面否认IPO传闻

阿里巴巴重磅推出Qwen3.8大模型，开源计划引发行业关注

8月3日，科技圈迎来重要消息——阿里巴巴正式对外发布其新一代基座大模型Qwen3.8。该模型总参数量高达2.4万亿，在编程能力（Coding）和专业办公场景（Cowork）中展现出显著提升。目前，Qwen3.8的API接口已正式上线千问AI平台，并同步接入阿里当天推出的智能Agent产品“千问办公”。更值得关注的是，Qwen3.8-Max版本计划于下周开源，同时开源的还有Qwen3.8-27B版本，这一举措预计将进一步推动AI开源生态的发展。

智元机器人首席科学家离职传闻澄清，合伙人团队背景曝光

8月3日，针对市场上流传的“智元机器人首席科学家罗剑岚已离职”的传闻，智元官方通过徽声在线回应称，罗剑岚目前并未离职，仅是进行内部岗位调整。同日，智元官网首次对外公布了完整的合伙人团队名单。该团队由来自华为、谷歌、腾讯、大疆、寒武纪等顶尖科技企业的精英组成，成员背景覆盖AI技术研发、产品工程、全球化商业运营及政企关系等多个核心领域，展现出强大的技术实力和商业布局能力。

此次合伙人团队的公开，不仅回应了外界对智元核心团队稳定性的质疑，也凸显了其在AI领域的战略野心。据内部人士透露，智元正加速推进多款机器人产品的研发，预计将在年底前推出面向工业场景的旗舰产品。

DeepSeek-V4-Flash正式版API上线国家超算互联网，开发门槛大幅降低

8月3日消息，DeepSeek-V4-Flash正式版API已面向公众开启公测，国家超算互联网第一时间同步上线该模型的API调用与下载服务。开发者可通过两种方式接入：一是登录国家超算互联网官网，在首页服务板块进入模型服务专区直接调用API；二是在超算互联网AI社区下载模型，利用可信Notebook环境一站式完成模型微调、部署和适配全流程开发。这一举措显著降低了中小企业和开发者使用先进AI模型的门槛，有望推动AI技术在更多行业的落地应用。

OpenAI下一代模型Astra内部测试曝光，2000美元算力成本破解十大数学难题

当地时间8月1日，OpenAI公布了其在数学和理论计算机科学领域的十项重大突破，这些成果均由其下一代主要模型Astra的内部版本实现。据Sol API的费率计算，找到这些问题的解决方案所需的总词元（tokens）成本约为2000美元。十项突破包括：高维球体堆积密度上限的突破性计算、二进制与球面码界限的显著提升、非纯索菲群存在性的数学证明、康涅斯刚性猜想的推翻、算术电路复杂性新下界的设定、量子平行重复定理的验证、最近向量问题的多项式因子近似难度证明、埃尔哈特体积猜想的解决、多色拉姆齐数的超指数下界确定，以及极值数猜想的证实等。这些成果不仅展示了Astra模型的强大推理能力，也为相关领域的研究提供了新的思路。

月之暗面港股IPO传闻被否，G轮融资仍在进行中

8月3日，有媒体报道称，月之暗面（Moonshot AI）计划最早于本月内向港交所提交IPO申请，拟募资约30亿美元。对此，知情人士向徽声在线表示，该消息不实，目前月之暗面的G轮融资仍在进行中，公司尚未有明确的上市计划。月之暗面作为AI领域的独角兽企业，其融资动态一直备受市场关注，此次澄清也暂时平息了外界对其上市进程的猜测。

韩国AI芯片初创公司DeepX估值飙升至22亿美元，D轮融资进展顺利

8月3日，据韩国媒体报道，AI芯片设计初创公司DeepX在最新一轮融资中估值大幅攀升至约3.14万亿韩元（合22亿美元），较上一轮估值增长近三倍。据悉，DeepX已签署D轮融资的首期协议，从老股东BNW Investment及DS Asset Management处成功募集420亿韩元。公司目前正与多家投资机构洽谈，计划在9月前完成最高3000亿韩元的后续融资。若本轮融资顺利完成，DeepX的投后估值预计最高可达3.5万亿韩元，进一步巩固其在韩国AI芯片领域的领先地位。