基础设施与工程 7 天前
Claude为123个开源库生成安全证明：Anthropic与Theorem展示形式验证新进展及其边界
Anthropic与形式验证公司Theorem合作，称Claude在数周内为12…
编辑部
标签专题
#RISC-V
聚焦该标签下的所有相关内容。
共 4 篇
产业与商业 10 天前
Tenstorrent完成15亿美元融资，估值升至62亿美元：AI芯片竞争转向开放模型与系统规模化
Tenstorrent完成15亿美元E轮融资，投后估值升至62亿美元。公司表示资…
编辑部
模型与研究 1 个月前
Google Antigravity推出 Teamwork：多智能体开始协作解决数学与工程难题
Google Antigravity 推出 Teamwork 框架，允许多个 A…
编辑部