最新报道:可验证人工智能公司Rena Labs近日宣布完成330万美元的种子前轮融资,由Paper Ventures领投,Lightspeed Faction、Eterna Capital、Lyrik Ventures、Mapleblock Capital、Selini Capital和Keyrock等参投。此次融资将用于进一步开发Rena Labs的平台,该平台旨在通过提供可验证的、可解释的和可审计的人工智能模型来解决人工智能的可信度问题。Rena Labs的平台基于一种新的方法,该方法结合了形式化验证和机器学习技术,以确保人工智能模型的可靠性和可解释性。这笔资金将帮助Rena Labs进一步发展其技术,并将其应用于更广泛的领域,包括医疗保健、金融和自动驾驶。此次融资表明投资者对可验证人工智能的巨大潜力充满信心,并相信Rena Labs能够在这一领域取得突破。n