/
IBM与MIT携手开辟计算研究新篇章
IBM与MIT签署新协议，将原MIT-IBM Watson AI实验室更名为MIT-IBM计算研究实验室，将量子计算纳入研究范畴。实验室首任主任David Cox表示，量子计算正快速成熟，有望在未来数年内发挥强大作用，与AI的交叉融合前景令人期待。在大型语言模型领域，Cox还提出类摩尔定律的新趋势：模型能力密度持续提升，更小的模型将以更低成本实现同等能力。IBM的Mellea项目则致力于结合软件可靠性与AI灵活性，探索AI的下一个发展范式。
MIT-IBM计算研究实验室正式成立，共同探索AI与量子计算的未来
麻省理工学院与IBM联合宣布成立MIT-IBM计算研究实验室，该实验室在原MIT-IBM Watson AI实验室（2017年成立）基础上扩展而来，新增量子计算研究方向。实验室将聚焦AI、算法与量子计算三大领域，致力于开发超越传统计算极限的新型计算方法。IBM计划于2029年前推出全球首台容错量子计算机。自合作以来，双方已资助逾210个研究项目，发表超1500篇同行评审论文，并支持500余名学生及博士后研究人员成长。
MIT-IBM Watson AI实验室助力青年教师打造顶尖研究团队
MIT多位青年教师通过MIT-IBM沃森AI实验室的早期合作获得重要发展机遇。雅各布·安德烈亚斯等教授在自然语言处理、机器学习等领域借助实验室的计算资源和专业支持，成功启动首个重要项目并建立研究团队。该合作模式不仅提供了丰富的计算资源，还促进了跨学科研究融合，帮助研究人员在AI快速发展的关键时期找到正确方向，推动了从理论研究到实际应用的转化。
学术与产业协作为亚马逊客户提供真实世界安全保障
亚马逊科学家拜伦·库克与斯坦福大学教授克拉克·巴雷特的合作，推动了开源软件工具cvc5的开发。该工具运用形式化方法和自动推理技术，能够检测代码中的逻辑错误。目前cvc5已应用于亚马逊Bedrock的自动推理检查、IAM访问分析器等服务中，每天处理约10亿次求解调用，为AWS客户提升了安全性、可靠性和持久性。
京公网安备 11010802021500号
