MENKWAN / INTELLIGENCE WATCH
从模型突破，到机器人走进生活。
关注人工智能、具身智能与服务机器人的新进展。
部分来源暂未完成同步，当前显示最近成功收录的消息。
国际来源 · 研究机构 · 14 条动态 重置筛选
14 条 · 按原文发布时间排列
Using robots, drones, sensors and advanced artificial intelligence techniques, Carnegie Mellon University’s Team Chiron hopes to help emergency responders save more lives and treat more patients duri…
阅读原文AI agents can generate code at a scale that’s hard for humans to review line-by-line. PDD Kit helps ensure the code is doing what the developer intended by creating formal specifications and testing …
阅读原文Research Manager Mike Walker reflects on a career spanning hacker culture, cybersecurity, and AI, sharing lessons about trust, teamwork, leadership, and why solving difficult problems requires curios…
阅读原文Situated on the banks of the Monongahela River in Pittsburgh’s Hazelwood neighborhood, CMU’s new Robotics Innovation Center rises as a 150,000-square-foot testament to the university’s robotics legac…
阅读原文Evaluating Microsoft Copilot at enterprise scale requires test data that captures the full complexity of real organizations, yet real enterprise data contains sensitive information that cannot be use…
阅读原文Host Sowbhagya Suresh shares some of the latest news and cutting-edge research from across Microsoft—from understanding the challenges facing coding agents to uncovering how people use AI at work and…
阅读原文The Breakdown: Wiggling a rope to learn how it moves helps robots estimate its physical properties. Planning before acting helps robots predict how ropes and cables will behave without practicing the…
阅读原文Flint-interactive gives AI agents a language for creating interactive visualizations. Click a chart, filter data, highlight related content, and explore beyond the view the author originally chose. T…
阅读原文For decades, a fundamental question about the difficulty of computing in high-dimensional spaces has resisted proof. New research resolves this question, removing a major theoretical obstacle to unde…
阅读原文Lab Director Chris White has worked on research challenges with real-world implications—from new approaches to wartime data analysis to tools for combating human trafficking. He talks to program mana…
阅读原文Andrea Bajcsy, an assistant professor in Carnegie Mellon University's Kenneth C. Griffin School of Computer Science, has received a 2026 Packard Fellowship for Science and Engineering. The fellowship…
阅读原文Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming language…
阅读原文
