Anthropic：LLM 推动软件形式化验证

← 返回今日版面

大模型访谈anthropic人工智能信号强度 1.52 条来源

来源

2 条

Anthropic 联合创始人：中国模型目前落后西方约6个月到一年因为'太蠢'

Jack Clark在访谈中指出，中国AI模型目前落后西方约6个月到一年，模型表现不佳，尚未出现失控智能体集群。

2026-10-24

cnBetacnbeta.com.tw媒体

附录：LLMs 使大规模形式化软件验证成为可能 - Anthropic

Anthropic指出，LLMs正在使大规模的形式化软件验证成为可能。

2026-10-23

Anthropic 新闻news.google.com其他