Anthropic Research

博客和网站，门道收录了 2 条。去看 TA 的主页

TA 的做法

大语言模型正让大规模开展软件形式化验证成为可能用Claude对百余开源库做形式化验证，说明AI适用边界与结果官方案例拆解专家Anthropic ResearchAnthropic Research10 月 22 日怎么判断一个任务该不该交给 AI？
AI 智能体如何影响专家的判断实验显示专家易盲从AI判断，对验收有启示官方案例拆解进阶Anthropic ResearchAnthropic Research10 月 27 日AI 写的代码怎么验收？