人工智能在软件工程中的应用：从可能到可证明

这篇文章可能讨论了人工智能在软件工程中的应用。标题暗示了从提供可能结果的基于人工智能的解决方案到能够提供可证明保证的解决方案的进步。这意味着重点关注形式验证、自动化测试或具有可验证正确性的代码生成等领域。来源ArXiv表明这是一篇研究论文，暗示了对该主题进行技术性和深入的分析。