Tau加入NVIDIA初创加速计划

Tau 宣布已加入 NVIDIA Inception，该计划旨在培育通过技术进步彻底改变行业的初创公司。

Tau 创建了一种名为 Tau 语言的新颖软件规范语言，从而能够保证按构造进行正确的软件开发。Tau 根据用逻辑句子编写的给定需求计算出商定的软件规范，并且该规范可作为工作软件直接执行。Tau 将其新技术注入 Tau 软件开发工具中，能够快速、严格地将关键任务系统开发到常见应用程序，完全消除了开发中代码和形式验证的必要性。该技术还将被整合到Tau Net中，这是一个去中心化的人工智能平台，可促进其自身软件和集体智能的去中心化开发。

加入 NVIDIA Inception 将使 Tau 能够获得更多形式规范方面的专业知识，并加速其技术为软件世界带来的好处的影响。该计划还将为 Tau 提供与行业领先的专家和其他人工智能驱动型组织合作的机会。

“我们在Tau的使命是解决传统软件开发的问题，同时将其提升到一个新的水平，将我们在关键生活领域的进步应用到去中心化AGI等关键领域。我们相信，我们的解决方案将以重大方式改变世界，NVIDIA 初创加速版的这一里程碑将使我们能够更快地带来这些变化，“Tau 首席执行官 Fola Adejumo 说。

NVIDIA 初创加速版在产品开发、原型设计和部署的关键阶段为初创公司提供帮助。每个 Inception 成员都会获得一系列定制的持续福利，例如 NVIDIA 深度学习学院的积分、NVIDIA 硬件和软件的优惠价格以及技术支持，这为初创公司提供了帮助他们成长的基本工具。