融资2026/11/02 14:18&Truth完成7000万美元种子轮,打造软件代码数学验证机RecodeX 重构消息,&Truth宣布完成7000万美元种子轮融资,资金将用于构建一台通用验证机,以数学方式证明软件代码的安全性与正确性。 AI 辅助判断积极AI 看多仅供信息参考,不构成投资建议原始信息来源Thesaasnewsthesaasnews.com查看原文 ↗生成图片卡片复制快讯分享 / 更多⌄复制链接系统分享分享到 X分享到 Telegram分享到 Facebook内容纠错Aa 字号:标准本机收藏← 上一条专家称金价或惯性下行,国际金价关注3500-3600美元区间下一条 →日本央行称通胀预期正稳步向目标水平靠拢