IBM与MIT携手开辟计算研究新篇章

IBM与MIT签署新协议，将原MIT-IBM Watson AI实验室更名为MIT-IBM计算研究实验室，将量子计算纳入研究范畴。实验室首任主任David Cox表示，量子计算正快速成熟，有望在未来数年内发挥强大作用，与...

MIT-IBM计算研究实验室正式成立，共同探索AI与量子计算的未来

麻省理工学院与IBM联合宣布成立MIT-IBM计算研究实验室，该实验室在原MIT-IBM Watson AI实验室（2017年成立）基础上扩展而来，新增量子计算研究方向。实验室将聚焦AI、算法与量子计算三大领域，致力于开...

MIT-IBM Watson AI实验室助力青年教师打造顶尖研究团队

MIT多位青年教师通过MIT-IBM沃森AI实验室的早期合作获得重要发展机遇。雅各布·安德烈亚斯等教授在自然语言处理、机器学习等领域借助实验室的计算资源和专业支持，成功启动首个重要项目并建立研究团队。该合作模式不仅提供了...

学术与产业协作为亚马逊客户提供真实世界安全保障

亚马逊科学家拜伦·库克与斯坦福大学教授克拉克·巴雷特的合作，推动了开源软件工具cvc5的开发。该工具运用形式化方法和自动推理技术，能够检测代码中的逻辑错误。目前cvc5已应用于亚马逊Bedrock的自动推理检查、IAM访...