面向软件工程的人工智能：从“可能”到“可证明”

本文探讨了人工智能在软件工程中的应用正从概率性预测向可证明正确性演进。文章强调了将AI从提供“很可能正确”的结果转向能够为软件行为提供形式化保证的重要性，从而提升软件系统的可靠性与安全性。这一转变有望从根本上改变软件开发、验证和维护的方式。