AI for Better｜正大AIDD未来学者科研训练营顺利开营
2026年10月21日，由正大天晴药业集团资助的AIDD未来学者科研训练营在清华大学智能产业研究院（AIR）正式开营。清华大学智能产业研究院（AIR）副院长、首席研究员兰艳艳教授，正大天晴研究院AI创新药物发现所负责人…
阅读原文MENKWAN / INTELLIGENCE WATCH
看见智能，走进现实。
从模型突破，到机器人走进生活。
关注人工智能、具身智能与服务机器人的新进展。
最近同步 北京时间 · 原文可查
部分来源暂未完成同步，当前显示最近成功收录的消息。
研究机构 · 13 条动态 重置筛选
人工智能动态
13 条 · 按原文发布时间排列
Formally verifying agent-written full-stack web apps with PDD Kit
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 …
阅读原文Learn the rules: The hacker mindset
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…
阅读原文
AIR孵化｜水木分子荣获央视「中国AI创业十骏」
转载自量子位 | 公众号 QbitAIAI江湖的名头换了一茬又一茬：AI四小龙、大模型六小虎……这一次，行业的下一批明星公司，轮到央视亲自大点兵。1200家参赛企业层层突围，中国AI创业十骏新鲜出炉。名单横跨机器人、智能…
阅读原文
From synthetic enterprise data evaluations to real Microsoft Copilot AI confidence
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…
阅读原文Microsoft Research Focus – Edition #97
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…
阅读原文
AIR科研｜NeurIPS 2026：AIR提出具身统一KV Cache管理，突破机器人“边说边做”算力瓶颈
要想让机器人真正走进我们的日常生活，只会“动手”还不够。它还要记住做过什么、回答人的提问，在与人交流的同时持续完成手头的任务。然而，为了在机器人本地同时运行这些能力，必须要先突破端侧算力这个瓶颈：动作…
阅读原文
AIR快讯｜清华大学人工智能医院启动生态合作
2026年10月24日，第二届北京清华医学人工智能论坛成功召开。在开幕式上，论坛举行了清华大学人工智能医院生态合作启动仪式，来自北京、浙江、江苏、四川、福建、广西、贵州等多个地区的卫健委和医院成为清华大学人…
阅读原文
Flint-interactive: A language for creating interactive data visualizations
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…
阅读原文
Solving a 31-year-old grand challenge in mathematics – the KLS conjecture
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…
阅读原文Called to serve: Tech, research, and positive impact
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…
阅读原文
Proof-based general-purpose computing with Magnetar
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…
阅读原文