tama.tools

公司将重点转向 AI 工具、硬件和智能合约安全

据报道，一家公司正在通过将员工重组为四个专注于 AI 工具和应用程序的新部门来重组其劳动力，这标志着其战略重点转向 AI 产品开发。此外，一个名为 Exo 的新 AI 硬件堆栈被讨论为一种潜在的、可访问且高性能的专用硬件替代方案，并侧重于其实用性。另外，一个名为 tama.tools 的工具被引入，通过 AI 驱动的形式验证来增强以太坊智能合约的安全性，实现代码安全检查的自动化。