5月22日·AI版Office来袭，Skywork智能体重塑办公新体验

5月22日·周四  AI工具和资源推荐

AI版Office来袭，Skywork智能体重塑办公新体验

昆仑万维推出的天工超级智能体（Skywork Super Agents）引发了广泛关注。这款AI版Office结合了Deep Research和通用Agent的优势，支持多种办公模式，包括PPT、文档、表格、网页、播客等，极大地提升了工作效率。Skywork能够自动完成复杂任务，如将动态网站转化为PPT、生成专业文档和数据分析表格，甚至一键搭建网站和制作播客节目。其自研技术如Deep Research模型、Agent Workflow框架等，确保了内容的高质量和可信度，同时支持在线编辑和导出功能。Skywork的发布不仅登顶GAIA榜单，还为开发者提供了开源框架，有望成为AI智能体市场的黑马。来源：微信公众号【新智元】

陶哲轩与AI携手挑战ε-δ极限：AI在数学证明中的双刃剑效应

数学大师陶哲轩近日通过Lean 4自动化数学证明工具，与GitHub Copilot合作，尝试解决经典分析学中的ε-δ极限问题。在加法定理的证明中，Copilot表现出色，能够快速预测证明结构并提供关键步骤，极大地提高了证明效率。然而，在处理减法和乘法定理时，Copilot逐渐暴露出短板。特别是在乘法定理中，面对复杂的代数推导和数学引理调用，Copilot频繁出错，甚至出现“幻觉”，生成不存在的策略，最终需要陶哲轩大量人工干预才能完成证明。这一实验表明，AI在数学证明中可以作为强大的辅助工具，但在复杂问题面前仍需人类的深度参与和指导。来源：微信公众号【新智元】

首个多模态扩散大语言模型MMaDA发布，实现推理与生成的统一建模

普林斯顿大学与字节 Seed、北大、清华等研究团队合作推出了首个系统性探索扩散架构的多模态基础模型MMaDA（Multimodal Large Diffusion Language Models）。该模型通过统一扩散架构，将文本推理、多模态理解与图像生成整合到一个框架中，实现了跨模态任务的高效协同。MMaDA在文本推理任务中达到68.4%的准确率，超越了LLaMA-3-8B等模型；在多模态理解任务中与LLaVA等专用模型持平；在图像生成任务中，CLIP Score达到32.46，显著优于其他模型。此外，MMaDA还支持文本补全、视觉问答补全和图像补全等跨模态补全任务，展现了强大的泛化能力。团队已开源训练、推理、权重和线上Demo，为多模态大模型的发展提供了新的方向。来源：微信公众号【机器之心】

华为推出FlashComm，三招助力大模型推理提速80%

华为近日发布了昇腾推理优化技术FlashComm，针对大模型推理中的通信瓶颈问题提出了三项创新技术。FlashComm1通过拆解AllReduce通信操作并结合昇腾硬件特性，优化通信与计算协同，提升推理性能26%。FlashComm2采用“以存换传”策略，重构计算流程，使通信量大幅减少，推理速度提升33%。FlashComm3则利用昇腾硬件的多流并发能力，实现MoE模块的高效并行推理，吞吐量提升30%。这些技术不仅显著提高了大模型的推理效率，还为未来超大规模模型的部署提供了新的解决方案。华为计划在多流并行、权重预取等方向继续创新，构建面向大模型推理的全栈生态体系。来源：微信公众号【机器之心】

腾讯发布智能体开发平台，推动大模型从“落地可用”迈向“智能协同”

腾讯云在AI产业应用峰会上正式上线了全新的智能体开发平台，率先在行业内实现零代码配置多智能体协同构建。该平台基于RAG（检索增强生成）能力，支持复杂表格问答、文档自动生成问答对等功能，并通过工作流编排实现灵活的节点回退和全局意图洞察。此外，平台还整合了腾讯内部优质能力及第三方插件，支持多Agent协同编排，满足企业复杂场景需求。同时，腾讯云还升级了混元系列大模型，包括深度思考模型T1、快思考模型Turbo S等，进一步提升模型性能。腾讯云副总裁吴永坚表示，该平台的推出旨在满足企业真实需求，推动AI产品从“落地可用”迈向“智能协同”。来源：微信公众号【量子位】