New methods boost reasoning in small and large language models
| Li Lyna Zhang, Xian Zhang, Xueting Han, and Dongdong Zhang
New techniques are reimagining how LLMs reason. By combining symbolic logic, mathematical rigor, and adaptive planning, these methods enable models to tackle complex, real-world problems across a variety of fields.
重塑建模流程，AI让CAD成为人人可用的设计工具
编者按：在传统的机械设计和制造流程中，参数化 CAD 文件一直是概念与制造之间的关键桥梁。然而，工程师们长期以来一直被复杂的 CAD 特征树和繁琐的建模流程所困扰。近年来，随着大语言模型（LLMs）的飞速发展，AI 在多个领域展现了其强大的能力。本文将介绍三项微软亚洲研究院的最新研究——FlexCAD、CADFusion 和 CAD-Editor。它们分别从统一建模框架、视觉反馈机制和自然语言编辑...
World models are a key concept in AI, used to simulate how agents behave in virtual environments and enable immersive, interactive experiences. They’re not only transforming game and media generation, they’re also opening new frontiers for using AI in complex,…
How AI is reshaping the future of healthcare and medical research
| Peter Lee, Bill Gates, and Sébastien Bubeck
Technologists Bill Gates and Sébastien Bubeck discuss the state of generative AI in medicine, how access to “medical intelligence” might help empower people across healthcare, and how AI’s accelerating improvements are likely to affect both delivery and discovery.
解锁AI文生图新技能：多图层+图文一致，让创意修改更自由
编者按：当人工智能遇上创意设计，一场视觉革命正悄然展开。人工智能图像生成技术为人们提供了无限的灵感源泉。然而，从实验室走向实际应用，从激发灵感到完美创作，在编辑自由度和可控性需求日益增长的当下，人工智能生成图像的技术仍然面临诸多挑战。 微软亚洲研究院的研究员们在文本生成图像领域的两项最新研究成果，为促进相关技术的实际应用开辟了新的道路——匿名区域 Transformer (Anonymous Re...
CVPR 上新 | 微软亚洲研究院精选论文解读——图像与视频处理篇
编者按：欢迎阅读“科研上新”栏目！“科研上新”汇聚了微软亚洲研究院最新的创新成果与科研动态。在这里，你可以快速浏览研究院的亮点资讯，保持对前沿领域的敏锐嗅觉。 6月10日至17日，全球计算机视觉领域的顶尖学术盛会 CVPR 在美国田纳西州纳什维尔举办。我们通过两期“科研上新”为大家带来多篇微软亚洲研究院入选 CVPR 2025 的精选论文解读。第一期分享的内容主要围绕生成模型与扩散技术等方向的研究...
Rewriting SymCrypt in Rust to modernize Microsoft’s cryptographic library
| Jonathan Protzenko, Samuel Lee, Samreen Khadeer, Son Ho, Oleksii Oleksenko, Michael Naehrig, and Cédric Fournet
We're rewriting parts of Microsoft's SymCrypt cryptographic library in Rust to improve memory safety and defend against side-channel attacks, enabling formal verification while maintaining backward compatibility via a Rust-to-C compiler.
编者按：在 MBTI 测试风靡的当下，人们热衷于探寻自己究竟是充满活力的“快乐小狗”，还是敏感细腻的“流泪猫猫”。当大模型逐渐成为人们生活中不可或缺的助手时，你是否会好奇：这些大模型有着怎样的特性，或者说，它们秉持何种不同的价值观？ 微软亚洲研究院最新发布的 Value Compass Benchmarks（价值观罗盘评估中心），可以帮助用户以更科学、系统和可靠的方式，对大模型的价值观展开评估。同...