5月18日下午,
财报期间,
在算力硬件领域,昆仑芯P800已完成规模化验证并交付多个万卡集群,顺利完成文心大模型5.1重要版本的训练。同时,基于昆仑芯打造的天池256卡超节点已成功点亮并定于6月上市,其吞吐性能提升25%,并完成对文心、DeepSeek、GLM、MiniMax等主流大模型的适配,推理效率显著提升50%。
5月18日下午,
财报期间,
在算力硬件领域,昆仑芯P800已完成规模化验证并交付多个万卡集群,顺利完成文心大模型5.1重要版本的训练。同时,基于昆仑芯打造的天池256卡超节点已成功点亮并定于6月上市,其吞吐性能提升25%,并完成对文心、DeepSeek、GLM、MiniMax等主流大模型的适配,推理效率显著提升50%。
欢迎来到【AI日报】栏目!这里是你每天探索人工智能世界的指南,每天我们为你呈现AI领域的热点内容,聚焦开发者,助你洞悉技术趋势、了解创新AI产品应用。
日本一名15岁高中生因涉嫌网络犯罪被捕,他利用生成式AI协助攻击,于2025年11月盗用会员账号非法侵入万代南梦宫旗下动画串流平台“万代频道”。案件因嫌疑人未成年且借助AI实施完整攻击流程而引发关注。
Mistral AI发布专为Lean4设计的开源模型Leanstral1.5,采用Apache-2.0许可。该模型总参数119B,仅6B激活参数,兼顾高性能与低成本。在miniF2F形式数学基准中,验证集和测试集均达100%完成率,并已挑战Putnam等高难度推理任务。

欧洲Mistral AI推出数学形式化证明模型Leanstral 1.5,专为Lean4语言,总参数119B但推理仅激活6B,以极低开销和Apache-2.0许可完全开源。在miniF2F基准上验证集和测试集均达100%完成率,PutnamBench同样表现惊人。

欢迎来到【AI日报】栏目!这里是你每天探索人工智能世界的指南,每天我们为你呈现AI领域的热点内容,聚焦开发者,助你洞悉技术趋势、了解创新AI产品应用。新鲜AI产品点击了解:https://app.aibase.com/zh1、通义千问重磅升级:实时语音识别模型Fun-ASR-Realtime正式发布通义千问大模型升级其核心音频能力,推出全新的实时语音识别模型Fun-ASR-Realtime,显著提升识别性能和语言覆盖范围,为智能语音应用提供更坚实的底层支撑。8、手机变身“数字玩伴”:JoyAI上线UGC数字人功能JoyAIApp上线UGC数字人功能,让用户能够轻松创建个性化的虚拟形象,同时通过技术集成实现了更自然的交互体验。
AI编程领域格局生变:众厂恋战L2代码补全,AIGCode以全栈方案谋求代际跃升。其核心洞察是大模型之殇在基座而非微调,借AutoCoder.cc剑指L3级自主编程。

腾讯混元Hy3发布,智能水平比肩2—5倍参数旗舰模型,定价更低,稳定性和性价比提升。已在多个业务接入,API上线腾讯云TokenHub及海外平台。模型实现快慢思考融合,智能体实用性质变。
谷歌Gemini 3.5 Pro原定6月发布却跳票,期间多位核心AI研究员离职投奔对手,团队士气低落。现确认7月17日正式亮相,正好撞上国产大模型DeepSeek V4预计的7月中旬发布时间,两家中外旗舰模型将正面交锋,上演硬碰硬对决。
通义千问推出实时语音识别模型Fun-ASR-Realtime,首字延迟降至百毫秒级,实现“即说即反馈”的流畅交互。其识别准确度接近离线模型,在保证高精度同时突破实时性瓶颈,标志语音交互体验迈向新高度。
大模型迭代加速,算力与工程成终极挑战。面壁智能李宇轩在“AI4AI发酵夜”上详解自研框架ForgeTrain,展示“AI制造AI”范式转变,通过底层框架突破算力瓶颈与工程壁垒。
全球首例全流程由AI智能体独立实施的勒索攻击“JADEPUFFER”被安全厂商Sysdig曝光。攻击者利用暴露在公网的Langflow服务已知高危漏洞,未依赖新漏洞,却展现了AI的自主决策能力,引发对AI安全风险的进一步警惕。