卡内基梅隆大学
美国著名研究型大学，在计算机科学和教育技术领域具有领先地位，开发了Cognitive Tutor等智能导师系统
核心事实
时间轴 (近 90 天)
安然邮件数据集由美国联邦能源监管委员会在调查安然公司破产案时公开，后经卡内基梅隆大学整理发布。
卡内基梅隆大学计算机科学家Nihar Shah认为，模型接受用户提供的前提不一定是致命问题，可能是一种设计选择，前提是用户已做过功课。
另一种可能的落地形式是导师制与实习通道的深度绑定，微软工程师以兼职导师身份参与学生项目评审，表现优异者直接进入实习或校招绿色通道。
一种可能的校企合作落地形式是联合课程与实训项目，将微软的真实业务场景或脱敏数据集引入 CMU 的软件工程课程。
在 Hacker News 上，关于微软与 CMU 合作培养早期职业软件工程师的消息引发了小范围讨论。
CMU 在软件工程教育中早有基于真实代码库与团队项目的教学传统，微软则掌握大规模代码审查与 AI 编程助手的一线数据。
微软与卡内基梅隆大学（CMU）宣布合作，共同培养早期职业软件工程师。
卡内基梅隆大学研究员Michal Luria、科技政策专家Aliya Bhatia与学者Danah Boyd联合撰文指出，孩子们正在轻松绕过社交媒体禁令，且这本身不是需要被解决的问题。
卡内基梅隆大学开发的Cognitive Tutor是经典智能导师系统代表，在数学领域做过较大规模的课堂验证。
卡内基梅隆大学教学教授Michael Hilton观察到，大约在2025年秋季到2026年春季学期之间，AI能够一次性完成其高年级软件工程课程的所有作业，学生只需复制粘贴即可完成。
还有 21 条时间轴事件
全部知识事实 (20)
OS World是由卡内基梅隆大学等机构推出的评测基准，测试AI智能体在真实操作系统环境中执行复杂任务的能力
65%待验证OSWorld基准测试由卡内基梅隆大学等机构于2024年提出，包含369个涵盖Linux、Windows和macOS的真实计算机任务
90%待验证吴恩达在卡内基梅隆大学获得计算机科学学士学位，在MIT获得硕士学位，在加州大学伯克利分校获得博士学位
85%待验证AutoGen的共享内存架构借鉴了分布式系统中的黑板模型，最早由卡内基梅隆大学在1980年代的语音识别系统Hearsay-II中提出
80%待验证ALFWorld是一个将文本冒险游戏与具身AI任务结合的基准测试环境，由卡内基梅隆大学等机构于2021年提出，基于ALFRED数据集
70%待验证安然邮件数据集由美国联邦能源监管委员会在调查安然公司破产案时公开，后经卡内基梅隆大学整理发布。
50%待验证卡内基梅隆大学计算机科学家Nihar Shah认为，模型接受用户提供的前提不一定是致命问题，可能是一种设计选择，前提是用户已做过功课。
50%待验证在 Hacker News 上，关于微软与 CMU 合作培养早期职业软件工程师的消息引发了小范围讨论。
50%待验证CMU 在软件工程教育中早有基于真实代码库与团队项目的教学传统，微软则掌握大规模代码审查与 AI 编程助手的一线数据。
50%待验证卡内基梅隆大学研究员Michal Luria、科技政策专家Aliya Bhatia与学者Danah Boyd联合撰文指出，孩子们正在轻松绕过社交媒体禁令，且这本身不是需要被解决的问题。
50%待验证卡内基梅隆大学开发的Cognitive Tutor是经典智能导师系统代表，在数学领域做过较大规模的课堂验证。
50%待验证微软与卡内基梅隆大学正在合作推进名为PRAISE（Preceptorship for AI-accelerated Software Engineering）的计划，通过导师制而非传统实习的模式培养AI时代的软件工程新人。
50%待验证cAST论文（卡内基梅隆大学和Augment Code）发现基于行的切块启发式方法经常破坏语义结构，把函数切开或把不相关的代码合并在一起。
50%待验证CAPTCHA 由卡内基梅隆大学团队在 2000 年前后提出。
50%待验证「知识缺口」理论最早由卡内基梅隆大学行为经济学家George Loewenstein在1994年系统提出
50%待验证reCAPTCHA最初由卡内基梅隆大学Luis von Ahn团队开发，第一代要求辨认两个扭曲单词，其中一个来自谷歌图书扫描中OCR无法识别的文字
50%待验证Jonathan Kanter现任华盛顿大学法学教授和卡内基梅隆大学技术政策教授
50%待验证卡内基梅隆大学的机器学习学者Zachery Lipton认为CS学术界已经把这个系统弄坏了，也许重建它所需要的就是让它彻底烧成灰烬
50%待验证WebArena是卡内基梅隆大学于2023年推出的基准，部署了Reddit、GitLab、电商网站等真实Web应用的自托管副本
50%待验证2023年卡内基梅隆大学的研究证明，通过梯度优化生成的对抗性后缀可以普遍性地攻破多个主流模型
50%