核心摘要
美股盘前半导体板块普遍走高，英特尔（INTC）涨幅超过 8%，此前美国总统特朗普宣布苹果与英特尔达成合作。西部数据（WDC）涨近 5%，ARM、美光科技（MU）均涨超 4%，AMD 与阿斯麦（ASML）涨幅接近。光通信板块同步走强，迈威尔科技（MRVL）上涨逾 4，Credo，Credo（CRDO）涨超 3%。
正文解读
另一方向，致力于将数学形式化验证引入人工智能领域的初创公司 Pramaana Labs 宣布完成 2700 万美元种子轮融资，本轮由 Khosla Ventures 领投，Accel、、Nexus Venture Partners、Premji Invest 及 Unbound 参投。公司计划将资金用于为法律、药物研发、税务申报等对错误零容忍的高敏感行业，构建确定性验证层。
要点： Pramaana 的核心创新在于，底层仍保留传统大语言模型以获得处理复杂问题与自然语言的灵活性，但在此基础上构建了一层确定性验证机制。该机制借鉴了用于验证数学定理 LEAN 编程语言，将特定领域的行业规则转化为可执行代码。
为了针对不同垂直行业建立LEAN 风格的形式化验证系统，公司正广泛邀请领域专家进行监督与背书。税务领域，公司已与前美国国税局局长 Danny Werfel 展开合作；在网络安全与药物研发系统方面，则由来自印度理工学院德里分校、马德拉斯分校以及加州大学伯克利大学的教授团队提供支持。
原创文章，作者：admin，如若转载，请注明出处：https://www.23btc.com/191534/
