Carnegie Mellon University
PulseAugur coverage of Carnegie Mellon University — every cluster mentioning Carnegie Mellon University across labs, papers, and developer communities, ranked by signal.
10 天有情绪数据
-
AI 验证了复杂的素数定理，为代码验证铺平道路
Axiom Math 成功使用其 AI 系统 AxiomProver 验证了“246 定理”的证明，这是数论中与素数相关的一个重要进展。这标志着 AI 辅助数学研究的一个里程碑，展示了 AI 确保复杂证明正确性的潜力，并进而扩展到 AI 生成代码的正确性。与之前的形式化不同，Axiom Math 专注于为未来的数学研究创建可重用组件。
-
人工智能时代需要“安全”学位：顶尖大学聚焦可转移技能
在当前的就业市场中，某些大学学位因需求高和可转移技能的发展而被认为是“安全”的。这些领域通常结合了技术熟练度和批判性思维，为毕业生应对不断变化的职业格局做好准备。
-
美国环境情报系统因预算削减而退化 · 跟踪到 1 个来源
由 NOAA 管理的美国环境情报系统正因埃隆·马斯克的 DOGE 项目导致的预算削减和人员减少而恶化。这种恶化通过减少关键天气数据的可用性，影响了渔业、农业、航空和保险等各个领域。天气气球、浮标和专业气象学家数量的减少，以及卫星更换计划的中断，都对生命和财产构成风险，并可能增加企业和消费者的成本。
-
研究发现，尽管感觉速度提升，AI 编码工具却使开发人员速度减慢 19%
一项关于 AI 编码助手对开发人员生产力影响的对照研究发现，尽管开发人员主观上感觉速度提升了 20%，但客观测量显示速度下降了 19%。这项由剑桥大学和麻省理工学院等机构进行的研究，旨在量化 GitHub Copilot 和 Amazon CodeWhisperer 等工具在现实世界中的性能提升。实验面临挑战，据报道实验室在第二次尝试中终止了自己的实验。
-
中国广东省寻求人工智能人才保留，以应对竞争
中国南方广东省正在实施吸引和留住人工智能人才的战略，旨在应对来自 DeepSeek 和 Moonshot 等知名人工智能公司创始人的人才流失。尽管拥有广州和深圳等主要人工智能中心，广东在顶尖人工智能公司的数量上仍落后于北京和上海。该省正寻求加强其学术机构和研究生态系统，以与杭州等新兴人工智能中心以及专注于半导体发展的其他城市竞争。杭州拥有 DeepSeek 和 Unitree Robotics 等公司。
-
新的人工智能驱动的风险慈善事业为罕见病科学注入2500万美元资金
一项名为Rare Ventures的新计划已获得Richard King Mellon基金会2500万美元的资助，旨在解决罕见病治疗开发中的关键差距。该风险慈善平台旨在通过整合患者数据、人工智能、转化科学、临床开发和制造来克服开发碎片化的挑战。通过构建通用基础设施并利用Curator等人工智能驱动的平台，Rare Ventures致力于降低早期项目的风险，并吸引更多投资，为受罕见病影响的数百万人带来疗法。
-
AI巨头共享的加密密钥暴露用户数据，研究人员发现
研究人员发现，包括OpenAI、Google、Meta和Microsoft在内的主要AI公司为所有用户使用了相同的加密密钥。这种做法使他们能够访问AI模型的内部“想法”。这项涉及斯坦福大学和加州大学伯克利分校等机构的研究发现，在公开日志中存在数百个活动的密码和API密钥，暴露了敏感数据。
-
MIT Technology Review 将公布2026年度35位35岁以下杰出创新者名单
MIT Technology Review 正在准备公布其2026年度35位35岁以下杰出创新者名单，表彰35位在开创性科学工作和技术解决方案方面做出贡献的个人。评选过程包括审查550份提名，筛选出110位半决赛选手，然后由44位专家评审员协助评估申请。最终获奖者由编辑选出，涵盖生物技术、人工智能、计算与机器人以及气候与能源等领域。
-
AI教授们穿行于研究、产业和伦理不断碰撞的世界
AI教授们正在努力应对日益增长的学术研究、产业需求和伦理考量之间的交叉点。这种转变迫使人们重新评估传统的学术角色以及在技术飞速发展和商业利益面前的知识追求。知名人士和机构正在驾驭这片复杂的领域，突显了当前AI时代带来的挑战和机遇。
-
物理学家称中国50年胶球发现是壮举 · 追踪1个来源
美国和以色列的物理学家正在庆祝中国发现胶球，这种粒子困扰科学家长达50年。这项在巴西纳塔尔国际高能物理会议上宣布的发现，是由一个国际团队经过15年研究取得的。他们分析了北京地下对撞机数十亿次的测量数据，发现了迄今为止最有力的胶球存在的证据，胶球完全由胶子组成。
-
智能出行AI领域有望实现 massive 增长，提供新的技术机遇
智能出行领域，涵盖从制造到街道级应用的AI技术，呈现出显著的企业技术机遇。该市场在2026年估值为619.5亿美元，预计到2034年将达到2557.5亿美元，而更广泛的汽车行业的价值甚至更高。丰田、现代和Tesla等主要汽车制造商正在大力投资AI，用于自动驾驶系统、互联基础设施和智能交通网络。关键增长领域包括AI基础设施、边缘计算、传感器、网络安全和数据平台，软件定义汽车服务（如预测性维护和个性化体验）也出现了机遇。
-
NLP研究集锦：2026年7月的4篇关键论文
本文重点介绍了2026年7月自然语言处理（NLP）领域的四篇重要研究论文。旨在告知读者最新的发现和进展。这些论文涵盖了广泛的主题和机构，包括主要科技公司和大学的贡献。
-
人工智能治理档案AGORA通过大学合作扩展
新兴技术安全中心（CSET）正通过与顶尖大学的新合作扩展其人工智能治理和监管档案（AGORA）。CSET正与普渡大学、麻省理工学院的人工智能风险倡议以及卡内基梅隆大学的EncyclopAIdia团队合作，以加强这个公开可用的工具。AGORA于2024年推出，在全球范围内收集和分类了1000多项与人工智能相关的法律、法规和标准，为研究人员、政策制定者和从业者提供了关键资源。
-
南洋理工大学副校长Kuan Jimmy Hsia加盟中国新大学
南洋理工大学（NTU）杰出研究员兼前副校长Kuan Jimmy Hsia已接受宁波东方理工大学（EIT）的全职职位。Hsia是美国科学促进会（AAAS）会士，在跨学科力学、生物材料和微/纳米力学方面拥有丰富经验，他表示建立新学术体系的机会是促使他此次调动的动机。他之前的职业生涯曾在伊利诺伊大学厄巴纳-香槟分校和卡内基梅隆大学担任重要职务。
-
复古比萨店（Pizza Hut）通过连接有意义的记忆而非仅仅怀旧来吸引顾客
宾夕法尼亚州欧文市的一家比萨店（Pizza Hut）因保留其20世纪90年代的风格而受到关注，尽管销售额下降，但仍吸引了大量顾客。虽然怀旧起到了作用，但这家餐厅的吸引力更深层地根植于其与有意义的人生事件和个人联系的关联，而不是对过去的向往。这种现象因日益增长的孤独感而加剧，孤独感可能导致消费者寻求与过去拥有的产品和品牌建立象征性的联系。
-
AI数据中心推动电网投资，可能导致消费者电费账单上涨
AI数据中心日益增长的电力需求正促使公用事业公司投资电网基础设施，这可能导致消费者成本上升。这些成本是否会被转嫁，取决于监管机构的决定和公用事业公司的费率结构。一些地区正在实施新规则，例如俄亥俄州的数据中心关税，以确保这些大型能源消费者承担更多因其需求而进行的电网升级的财务责任。
-
顶级 AI 初创公司限制研究发表，阻碍学术进展 · 跟踪 3 个来源
OpenAI、Anthropic 和 Google DeepMind 等领先的 AI 公司越来越多地隐藏其研究成果，这一趋势与学术机构和早期 AI 开发的开源精神形成对比。这种转变意味着模型架构、训练数据和方法论的关键细节对于更广泛的研究社区来说越来越难以获取。因此，外部研究人员和学者在复制、验证和借鉴人工智能最新进展方面面临挑战。
-
Polymarket 成立研究所，资助预测市场学术研究
Polymarket 成立了 Polymarket Institute，该组织致力于资助预测市场的独立学术研究。该研究所旨在促进产业界与学术界的合作，以研究预测市场技术的影响和能力。它将为博士研究员提供为期一年的研究员计划，提供 10,000 美元的资助和 Polymarket 数据访问权限，重点是通过严格的协议和发表批判性发现的权利来确保研究的公正性。
-
中国AI模型在成本和性能上挑战美国主导地位 · 跟踪1个来源
中国人工智能实验室正在迅速缩小与美国同行之间的差距，挑战了高性能硬件是人工智能领导力的唯一决定因素的观念。Moonshot AI 最近发布的 Kimi K3 是一个开源模型，据称其性能可与 Anthropic 的 Fable 5 相媲美，但成本却低得多，这震动了市场并加速了时间表。这一发展，加上 DeepSeek 和 Z.AI 此前取得的突破，表明中国人工智能开发者即使在受限地获得先进芯片的情况下，也能实现高性能，促使美国公司悄悄地整…
-
OpenAI、Anthropic、Meta 招募22位美国顶尖大学教授
包括OpenAI、Anthropic、Meta和Google DeepMind在内的领先AI公司已从美国顶尖大学招募了至少22位教授。这些新聘人员来自斯坦福大学、伯克利大学、哈佛大学和麻省理工学院等著名学府。受聘者不仅是工程师，还包括研究人员和学者，他们将塑造未来的科学探索，并为AI系统提供关键的外部评估。