UCloud科创板独立上市创造了多个第一，这一方面是科创板为其提供了制度保障，另一方面也是UCloud自身的强大实力，真可谓是“天时地利人和”。期待上市后的UCloud“一路飘红”，为中国云计算市场的发展贡献自己的力量。

贝壳找房开发的AM-Thinking-v1是一个32B参数的推理优化语言模型，完全基于开源数据训练。该模型在数学推理和代码生成任务上表现出色，AIME2024得分85.3，超越了671B的DeepSeek-R1，证明了通过精心设计的训练流程，中等规模密集模型也能达到超大模型的推理能力。

西班牙研究团队提出了一种创新的AI自我纠错方法SSC，让人工智能学会识别和修正规则中的漏洞。当AI发现自己在钻空子获得高分时，它会反思规则的合理性并主动改进。实验显示这种方法将AI的"钻空子"行为从50-70%降低到3%以下，同时提升了回答质量。这项技术有望让AI从被动执行指令转变为能够质疑和改进指令的智能协作伙伴。

Redmi 正式发布Redmi Note 11T Pro、Redmi Note 11T Pro+两款新机，不断突破中端安卓手机的性能天花板。

StepFun公司推出的Step1X-Edit是首个能够媲美GPT-4o和Gemini2 Flash等商业模型的开源图像编辑AI。该模型通过整合多模态语言理解和扩散图像生成技术，能够处理11种编辑任务，在新构建的GEdit-Bench基准测试中表现优异，为图像编辑技术的民主化开辟了新道路。

高通公司中国区董事长孟樸受邀出席峰会并发表了题为《创新、合作 以5G+AI赋能千行百业高质量发展》的演讲，介绍了高通在5G与AI领域的创新与实践。

十年以来,超过80%的中国出海企业同样选择了亚马逊云科技作为出海的合作伙伴,亚马逊云科技在150多个国家或地区拥有超过12万合作伙伴。

谁是下一个AI风口？2023年度十大前沿科技趋势发布。

基于深度神经网络的AI系统正在以惊人的效率分析医学影像，并诊断其中的潜在病症。

这篇论文介绍了Mutarjim，一个仅有1.5B参数的小型语言模型，专为阿拉伯语-英语双向翻译设计。研究团队通过精心设计的两阶段训练方法，使这个小模型在多个权威基准测试中击败了参数量大20倍的模型，包括GPT-4o mini。同时，他们创建了Tarjama-25，一个包含5,000对专家审核句子对的新基准，解决了现有评估数据集的局限性。研究结果表明，专注于特定任务的小型语言模型能在资源有限环境中取得卓越成效，为机器翻译领域提供了新思路。

7月22日至23日，由中国施工企业管理协会主办的第七届工程建设行业互联网大会暨2021年数字建造大师汇在长沙隆重举行。

量子计算机能够解决某些传统计算机无法有效解决问题的状态，就被称为「量子至上」。

第四届 Techo TVP 开发者峰会以「云以致用，智效合一」为主题，为行业、企业与开发者们带来了前沿的云原生技术趋势与实践总结。

这篇论文比较了AI辅助软件开发中的两种新兴范式："直觉式编码"(Vibe Coding)和"智能体编码"(Agentic Coding)。Cornell大学研究团队的综述揭示了两种方法的根本区别：直觉式编码强调开发者与AI的对话式交互和创意探索，而智能体编码实现了自主软件开发，能独立执行复杂任务。研究探讨了这两种范式的概念基础、技术架构、应用场景和未来发展路线图，指出它们并非对立，而是可以在软件开发生命周期的不同阶段互补，形成统一的人机协作模式。

那么，大模型如何发挥出大众和产业所期待的价值？如何打造行业大模型？又该如何评价大模型产品的好坏？

微软亚洲研究院开发出革命性的认知启发学习框架，让AI能够像人类一样思考和学习。该技术通过模仿人类的注意力分配、记忆整合和类比推理等认知机制，使AI在面对新情况时能快速适应，无需大量数据重新训练。实验显示这种AI在图像识别、语言理解和决策制定方面表现卓越，为教育、医疗、商业等领域的智能化应用开辟了新前景。

卡内基梅隆大学研究团队开发出"反蒸馏采样"技术，能让AI模型在保持正常性能的同时，阻止竞争对手通过观察推理过程来复制模型能力。这种方法巧妙地在模型输出中加入"毒性"内容，对人类用户无害但会干扰机器学习过程，为AI公司提供了新的知识产权保护手段。

每一座城市，都有属于自己的脉搏、文化和特性。有位生活家曾说过，华盛顿不是美国，东京不是日本。只有当你真正去到一座城市，便会懂这话的意思。

论坛上，高通公司产品管理副总裁Reiner Klement在发表《5G赋能工业互联网及未来产业》主题演讲时表示，“5G+人工智能+云，是构建智能云连接时代的根基。”

世界上只有少数几家公司设计使用尖端技术的处理器，制造这些芯片的配备更少。英特尔自己制造芯片，台湾台积电和GlobalFoundries是为其他公司生产芯片的纯代工厂，而三星两者都稍有涉及。