在“AI 优先”浏览器层出不穷的今天,传统浏览器阵营中的

与许多强制在侧边栏或搜索栏中强行植入大模型的竞品不同,新任 CEO 在上任致辞中立下规矩:
目前,浏览器市场正因
在“AI 优先”浏览器层出不穷的今天,传统浏览器阵营中的

与许多强制在侧边栏或搜索栏中强行植入大模型的竞品不同,新任 CEO 在上任致辞中立下规矩:
目前,浏览器市场正因
欢迎来到【AI日报】栏目!这里是你每天探索人工智能世界的指南,每天我们为你呈现AI领域的热点内容,聚焦开发者,助你洞悉技术趋势、了解创新AI产品应用。

欧洲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安全风险的进一步警惕。
哈佛商学院与欧洲工商管理学院研究发现,2020至2024年间AI原生初创企业团队规模缩减约四分之一,层级更扁平,初级员工招聘锐减。AI浪潮中最先被“优化”的正是职场新人。但工程师占比反而上升13%,显示企业正用AI取代入门岗位,同时扩充核心技术团队。
AI编程的高API调用成本是开发者痛点,新工具pxpipe作为本地代理,能将庞大上下文信息转为图像,绕过昂贵的文本Token计费,显著降低Claude Code使用开销。其原理是在请求发送前精确识别并转化冗长文本,实现“以图省字”的降本增效。