软件开发实践，曾经植根于数学原理，但很大程度上已偏离其正式起源。为了成熟为一门真正的工程学科，软件开发必须重新采用基于数学的形式化方法、符号和语言。这对于操作系统、网络和生命攸关的应用等关键领域尤其重要，在这些领域，端到端的数学严谨性是必不可少的。此外，迫切需要一个全面的监管框架来管理人工智能在 IT 中的使用，尤其是在这些敏感领域，因为科技公司自行监管已被证明是不够的。 AI
影响 形式化方法和监管的采用对于在关键系统中负责任地开发和部署人工智能至关重要。
排序理由 该条目讨论了软件工程实践的历史和未来方向，主张采用形式化方法和人工智能监管，这属于对该领域的评论。
在 Mastodon — fosstodon.org 阅读 →
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
