AI+AR 眼镜研发商“李未可”完成 A 轮融资，国中资本领投

1021 天前

08月01日，星期二 01:45

AI+AR 眼镜研发商“李未可”完成 A 轮融资，国中资本领投

火讯财经讯，据36氪8月1日报道，AI技术及AR眼镜研发商“李未可科技”已于近日完成数千万元人民币A轮融资，本轮由国中资本领投，多维资本持续担任独家财务顾问。本轮融资完成后，资金将主要用于产品迭代及海外渠道拓展。

Vitalik：AI 辅助形式化验证有望同时提升代码效率与安全性

火讯财经讯，Vitalik Buterin发文探讨形式化验证在区块链安全领域的应用前景。他指出，以太坊前沿研发正兴起一种新范式，直接使用EVM字节码、汇编或Lean编写代码，并用Lean中可自动检查的数学证明验证其正确性，研究者Yoichi Hirai将该范式称为“软件开发的最终形态”。Vitalik认为，AI辅助形式化验证有望同时提升代码效率与安全性，尤其适用于STARK、ZK-EVM、抗量子签名和共识算法等安全核心模块。文章同时强调，形式化验证并非万能，仍可能因证明范围不完整、规格错误、硬件侧信道等问题失效；未来软件或将分化为“安全核心”与“非安全边缘”，以太坊将成为重要安全核心之一。

31 分钟前
欧股普遍上涨，富时 100 和 DAX30 指数涨超 1%

火讯财经讯，欧股纷纷转涨，英国富时100指数和德国DAX30指数涨幅均超1%，欧洲斯托克50指数和西班牙IBEX35指数涨幅为0.8%。

35 分钟前
AI 审计公司 Calibre 完成 330 万美元 Pre-Seed 融资，Vicus Ventures 与 CIV 领投

火讯财经讯，伦敦AI审计自动化初创公司Calibre完成330万美元Pre-Seed融资，由Vicus Ventures与CIV领投。该公司由前Palantir高管创立，将利用AI Agent自动处理文件审核、信息提取、合规验证等重复性工作，解决审计人员耗时于低价值流程的痛点，降低认证行业人力成本、提升效率。投资方认为AI Agent有望成为审计认证领域的重要基础设施。

43 分钟前
标普 500 期货转涨，市场情绪回暖

火讯财经讯，标普500期货出现转涨迹象，市场情绪有所回暖。

43 分钟前
彭博社：伊朗启动“比特币支持”的霍尔木兹海峡航运保险机制

火讯财经讯，伊朗为应对霍尔木兹海峡高风险通航环境，已推出基于比特币的航运保险安排，上线名为“Hormuz Safe”的海运保险平台，为过境船只提供数字化保险服务，支持包括比特币在内的加密货币支付。当前美伊冲突升级背景下，海峡船舶战争险费用大幅飙升，部分船只穿越该海峡的保险成本已达船舶价值的约5%。

46 分钟前

1021 天前

AI+AR 眼镜研发商“李未可”完成 A 轮融资，国中资本领投

Vitalik：AI 辅助形式化验证有望同时提升代码效率与安全性

欧股普遍上涨，富时 100 和 DAX30 指数涨超 1%

AI 审计公司 Calibre 完成 330 万美元 Pre-Seed 融资，Vicus Ventures 与 CIV 领投

标普 500 期货转涨，市场情绪回暖

彭博社：伊朗启动“比特币支持”的霍尔木兹海峡航运保险机制

友情链接：