Z3：检查代码是否正确的AI
Z3是微软研究院开发的一个AI。它能自动验证复杂的逻辑语句和计算机代码。通过及早发现错误，Z3让软件和关键系统更加可靠。
想象一个超级智能AI，能自动检查复杂的计算机代码或逻辑语句是否正确。这就是Z3，微软研究院在2008年发布的一个强大工具。它就像一个数字侦探。Z3能确保一组逻辑规则可以同时为真，无需人工证明。
在应用中继续阅读
再加3题测验
相关事实
技术 →技术进步、发明、人工智能和数字创新
获得完整体验