「技术突破」共找到 3499 篇相关文章
Kimi新模型数学反超DeepSeek！北大校友刘征瀛等领衔
Kimi新定理证明模型超越DeepSeek，基于Qwen2.5 - 72B打造，采用Kimi k1.5强化学习训练流程。有两大技术创新，还有精简版本，官方有Demo。双方此前比赛就打得有来有回。
烧钱一年，李飞飞的「空间智能」愿景有变化吗？
在a16z主持的访谈中，李飞飞和Martin Casado探讨「世界模型」等话题，重新介绍World Labs愿景。李飞飞指出语言模型描述3D世界有局限，空间智能是关键，公司已推出相关技术和开源渲染器。
Qwen3家族训练秘籍公开：思考/非思考融进一个模型，大模型蒸馏带动小模型
Qwen3技术报告揭晓8款模型关键技术，采用双模式架构，训练和微调分段进行，还“大带小”蒸馏数据。其融合思考与非思考模式，训练分多阶段，Qwen Chat还全量上线深度研究功能。
人类56年解不出，谷歌AI一夜连破9道世纪难题！
Google DeepMind发布全新AI数学智能体AlphaProof Nexus，一次性攻克9道悬而未决几十年的Erdős开放问题，最老的已悬置56年。证明经Lean编译器验证，无错误可能。此外，还在多数学分支取得突破。
从服务器 OS 到 Agent 沙箱：腾讯云如何打通 AI Infra 的生态底座
文章指出代码生成快但执行边界缺可靠设施，腾讯云开源 Cube Sandbox 项目。它基于 MicroVM 路线，突破隔离、速度、密度等门槛，v0.2.0 版本降低部署门槛。与 OpenCloudOS 9 组合，提供全链路开源可控路径。
Meta发布Muse Spark，MSL的首份答卷！Alexandr Wang通过了吗？
Meta发布Muse Spark，是MSL首个模型，经九个月技术栈重构，效率优先。它有原生多模态推理能力，Contemplating模式处理复杂查询，安全评估突出，产品功能升级，商业化转向明显，正逐步在Meta应用推出。
Qwen 3.5 的口碑持续走高，林俊旸辞职出走，开源阵营震荡
3月4日，通义千问首席研究员林俊旸宣布辞职，多位核心骨干也一同离开。此前Qwen 3.5系列开源表现出色，此次人员变动引发社区震动。大厂战略与技术路线拉扯，人才流动成常态。
刚刚，智谱正式成“全球大模型第一股”，开盘涨超3%！10位董事7个清华背景，专家：国内IPO抢收“确定性”，OpenAI们豪赌“无限性”
今日，智谱在港交所挂牌上市，成“全球大模型第一股”。其有技术、产品、商业化优势，但未盈利，研发投入高。专家认为其上市早，国内厂商上市为求确定，而OpenAI等是扩展无限。
为什么说开发者参与鸿蒙生态共建是“恰逢其时”？
文章指出开发者参与鸿蒙生态共建恰逢其时。当前人均设备多，鸿蒙打破旧规则，生态加速生长。HarmonyOS开发者技术分论坛展示新机遇，介绍其开发能力、适配方案等，还阐述生态开放性与开源精神。
刚刚，Meta风雨飘摇中发了篇重量级论文，作者几乎全是华人
风雨飘摇的Meta发布重量级论文《Agent Learning via Early Experience》，提出「早期经验」新范式，让AI智能体「无师自通」，为突破强化学习瓶颈提供新思路。该范式结合两种策略，实验效果显著，还指出了局限与未来方向。