Tau 语言：软件合成的未来

本文讨论了 Tau 语言，这是一种由 Ohad Asor 提出的软件开发和区块链技术的新方法。文章强调了机器学习在保证正确性方面的局限性，并介绍了 Tau 作为一种解决方案，它允许对软件需求进行逻辑规范，从而实现可证明正确的实现。文章重点介绍了程序合成、软件更新以及在金融和治理方面的应用。赞助内容还推广了位于苏黎世的 Tufa AI Labs 研究实验室，并提供了有关 Tau 的更多研究和信息的链接。